Hero image 0 of Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, , (Paperback), 0 of 1

Einar Broch Johnsen

Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, , (Paperback)

(No ratings yet)

Key item features

Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, , (Paperback)
Author: Springer
ISBN: 9783319929699
Format: Paperback
Publication Date: 2018-05-30
Page Count: 303

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
May, 2018
Pages
303
Series title
No Series

Current price is $54.99

Price when purchased online

Free shipping
Free 90-day returns

How do you want your item?

I want delivery savings with

Try 30 days for just $1! Choose a plan at checkout.

How do you want your item?

Ships to

Arrives by Wed, May 20

Sold and shipped by Walmart.com

Free 90-day returns

This item is gift eligible

Other sellers

$61.06

+Free shipping

Shipping, arrives by Tue, May 19 to Columbus, 43215

Sold and shipped by thebookpros

Free 30-day returns

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, , (Paperback)
Author: Springer
ISBN: 9783319929699
Format: Paperback
Publication Date: 2018-05-30
Page Count: 303

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Publication date

May, 2018

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Similar items you might like

Based on what customers bought

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh, (Paperback) $54.99
current price $54.99
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh, (Paperback)
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo,, (Paperback) $54.99
current price $54.99
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo,, (Paperback)
Human-Centered Software Engineering: 4th International Conference, Hcse 2012, Toulouse, France, October 29-31, 2012, Pro, (Paperback) $54.99
current price $54.99
Human-Centered Software Engineering: 4th International Conference, Hcse 2012, Toulouse, France, October 29-31, 2012, Pro, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback) $60.29
current price $60.29
Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $56.14
current price $56.14
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)
Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback) $54.99
current price $54.99
Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback)
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris,, (Paperback) $62.94
current price $62.94
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris,, (Paperback)
Software Engineering and Formal Methods: 13th International Conference, Sefm 2015, York, Uk, September 7-11, 2015. Proce, (Paperback) $54.99
current price $54.99
Software Engineering and Formal Methods: 13th International Conference, Sefm 2015, York, Uk, September 7-11, 2015. Proce, (Paperback)
Software Engineering and Formal Methods: 10th International Conference, Sefm 2012, Thessaloniki, Greece, October 1-5, 20, (Paperback) $54.99
current price $54.99
Software Engineering and Formal Methods: 10th International Conference, Sefm 2012, Thessaloniki, Greece, October 1-5, 20, (Paperback)
Product-Focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-, (Paperback) $54.99
current price $54.99
Product-Focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-, (Paperback)
Human-Centered Software Engineering: 8th Ifip Wg 13.2 International Working Conference, Hcse 2020, Eindhoven, the Nether, (Paperback) $49.82
current price $49.82
Human-Centered Software Engineering: 8th Ifip Wg 13.2 International Working Conference, Hcse 2020, Eindhoven, the Nether, (Paperback)
Software Technologies: Applications and Foundations: Staf 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018,, (Paperback) $54.99
current price $54.99
Software Technologies: Applications and Foundations: Staf 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018,, (Paperback)
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedin, (Paperback) $54.99
current price $54.99
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedin, (Paperback)
Fundamental Approaches to Software Engineering: 16th International Conference, Fase 2013, Held as Part of the European J, (Paperback) $54.99
current price $54.99
Fundamental Approaches to Software Engineering: 16th International Conference, Fase 2013, Held as Part of the European J, (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 202, (Paperback) $54.99
current price $54.99
Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 202, (Paperback)
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, Uk, J, (Paperback) $56.14
current price $56.14
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, Uk, J, (Paperback)
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, Icsr 2020, (Paperback) $54.99
current price $54.99
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, Icsr 2020, (Paperback)
Requirements Engineering: Foundation for Software Quality: 19th International Working Conference, Refsq 2013, Essen, Ger, (Paperback) $54.99
current price $54.99
Requirements Engineering: Foundation for Software Quality: 19th International Working Conference, Refsq 2013, Essen, Ger, (Paperback)
Software Engineering and Formal Methods. Sefm 2020 Collocated Workshops: Asyde, Cifma, and Cosim-Cps, Amsterdam, the Net, (Paperback) $54.99
current price $54.99
Software Engineering and Formal Methods. Sefm 2020 Collocated Workshops: Asyde, Cifma, and Cosim-Cps, Amsterdam, the Net, (Paperback)
Lecture Notes in Computer Science Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Comm, Book 2804, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Comm, Book 2804, (Paperback)

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Rollbacks & more

Memorial Day

Grocery

Clothing, Shoes, & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Party Supplies

Collectibles

Resold

Walmart Business

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, , (Paperback)

Key item features

Specs

How do you want your item?

Try 30 days of Walmart+ for just $1!

About this item

Product details

Specifications

Book format

Fiction/nonfiction

Genre

Publication date

Warranty

Warranty information

Similar items you might like

Based on what customers bought

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh, (Paperback) $54.99

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzh, (Paperback)

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo,, (Paperback) $54.99

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo,, (Paperback)

Human-Centered Software Engineering: 4th International Conference, Hcse 2012, Toulouse, France, October 29-31, 2012, Pro, (Paperback) $54.99

Human-Centered Software Engineering: 4th International Conference, Hcse 2012, Toulouse, France, October 29-31, 2012, Pro, (Paperback)

Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback) $60.29

Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback)

Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $56.14

Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback) $54.99

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback)

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris,, (Paperback) $62.94

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris,, (Paperback)

Software Engineering and Formal Methods: 13th International Conference, Sefm 2015, York, Uk, September 7-11, 2015. Proce, (Paperback) $54.99