Hero image 0 of Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-Fmds, Greno, (Paperback), 0 of 1

Carlos Canal

Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-Fmds, Greno, (Paperback)

(No ratings yet)

Key item features

Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-Fmds, Greno, (Paperback)
Author: Springer
ISBN: 9783319152004
Format: Paperback
Publication Date: 2015-02-26
Page Count: 405

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
February, 2015
Pages
405
Subgenre
Programming

Current price is $64.11

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

Ships to

Arrives by Sat, May 23

Sold and shipped by thebookpros

4.457679505468379 stars out of 5, based on 4206 seller reviews(4.5)

Report an issue with this seller

Free 30-day returns

More seller options (1)

Starting from $60.29

About this item

Product details

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-Fmds, Greno, (Paperback)
Author: Springer
ISBN: 9783319152004
Format: Paperback
Publication Date: 2015-02-26
Page Count: 405

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

February, 2015

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

Walcom: Algorithms and Computation: 11th International Conference and Workshops, Walcom 2017, Hsinchu, Taiwan, March 29-, (Paperback) $54.99
current price $54.99
Walcom: Algorithms and Computation: 11th International Conference and Workshops, Walcom 2017, Hsinchu, Taiwan, March 29-, (Paperback)
Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback)
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)
Springer Operations Research and Financi Facility Location: A Survey of Applications and Methods, (Paperback) $54.99
current price $54.99
Springer Operations Research and Financi Facility Location: A Survey of Applications and Methods, (Paperback)
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback) $60.29
current price $60.29
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback)
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxemb, (Paperback) $65.33
current price $65.33
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxemb, (Paperback)
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, (Paperback) $59.43
current price $59.43
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, (Paperback)
Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback) $77.15
current price $77.15
Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback)
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments: 15th International Confere, (Paperback) $54.99
current price $54.99
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments: 15th International Confere, (Paperback)
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of H, (Paperback) $54.99
current price $54.99
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of H, (Paperback)
Distributed Systems: Software Design and Implementation, (Paperback) $56.14
current price $56.14
Distributed Systems: Software Design and Implementation, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa, (Paperback) $60.29
current price $60.29
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa, (Paperback)
Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback) $54.99
current price $54.99
Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback)
Workshops in Computing Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic, (Paperback) $56.14
current price $56.14
Workshops in Computing Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic, (Paperback)
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singap, (Paperback) $54.99
current price $54.99
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singap, (Paperback)
Service-Oriented Computing - Icsoc 2011 Workshops: Icsoc 2011, International Workshops Wesoa, Nfpslam-Soc, and Satellite, (Paperback) $54.99
current price $54.99
Service-Oriented Computing - Icsoc 2011 Workshops: Icsoc 2011, International Workshops Wesoa, Nfpslam-Soc, and Satellite, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Pa, (Paperback) $54.99
current price $54.99
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Pa, (Paperback)
Database Systems for Advanced Applications: Dasfaa 2016 International Workshops: Bdms, Bdqm, Moi, and Secop, Dallas, Tx,, (Paperback) $56.14
current price $56.14
Database Systems for Advanced Applications: Dasfaa 2016 International Workshops: Bdms, Bdqm, Moi, and Secop, Dallas, Tx,, (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)
Eurographics Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse,, (Paperback) $60.29
current price $60.29
Eurographics Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse,, (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

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: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-Fmds, Greno, (Paperback)

Key item features

Specs

How do you want your item?

More seller options (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

Walcom: Algorithms and Computation: 11th International Conference and Workshops, Walcom 2017, Hsinchu, Taiwan, March 29-, (Paperback) $54.99

Walcom: Algorithms and Computation: 11th International Conference and Workshops, Walcom 2017, Hsinchu, Taiwan, March 29-, (Paperback)

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback) $54.99

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback)

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)

Springer Operations Research and Financi Facility Location: A Survey of Applications and Methods, (Paperback) $54.99

Springer Operations Research and Financi Facility Location: A Survey of Applications and Methods, (Paperback)

Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback) $60.29

Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback)

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxemb, (Paperback) $65.33

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxemb, (Paperback)

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, (Paperback) $59.43

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, (Paperback)

Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback) $77.15

Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback)

Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback) $77.15

Ãkonometrie Und Unternehmensforschung Ec Boolean Methods in Operations Research and Related Areas, Book 7, (Paperback)