Formal Methods Software Systems (206 results)

Title: formal methods software systems

Refine with Advanced Search

Stock Image

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Published by Springer, 2007

ISBN 10: 3540724826 ISBN 13: 9783540724827

Language: English

Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

Used - Softcover
Condition: Fine

� 4.89
Convert currency

� 2.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Fine. Mint condition.
Stock Image

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering)

Bernardo, Marco [Editor]; Hillston, Jane [Editor];

Published by Springer, 2007

ISBN 10: 3540724826 ISBN 13: 9783540724827

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 5.44
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, . / Programming and Software Engineering)

Bonsangue, Marcello M. [Editor]; Johnsen, Einar Broch [Editor];

Published by Springer, 2007

ISBN 10: 3540729194 ISBN 13: 9783540729198

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 5.51
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

Kreowski, Hans-Jörg [Editor]; Montanari, Ugo [Editor]; Orejas, Fernando [Editor]; Rozenberg, Grzegorz [Editor]; Taentzer, Gabriele [Editor];

Published by Springer, 2005

ISBN 10: 3540249362 ISBN 13: 9783540249368

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 10.52
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Stock Image

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 . / Programming and Software Engineering)

Barthe, Gilles [Editor]

Published by Springer, 2008

ISBN 10: 3540688625 ISBN 13: 9783540688624

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 10.79
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software . Lectures (Lecture Notes in Computer Science)

Bernardo, Marco [Editor]; Corradini, Flavio [Editor];

Published by Springer, 2004

ISBN 10: 3540230688 ISBN 13: 9783540230687

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 10.90
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Trade Paperback. Very Good. Clean, tight.
Seller Image

Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)

Zelkowitz, Martin

Published by Intellect, 1995

ISBN 10: 156750034X ISBN 13: 9781567500349

Language: English

Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 18.29
Convert currency

� 5.79 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Stock Image

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, . / Programming and Software Engineering)

Gorrieri, Roberto [Editor]; Wehrheim, Heike [Editor];

Published by Springer, 2006

ISBN 10: 354034893X ISBN 13: 9783540348931

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 21.67
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Stock Image

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers . / Programming and Software Engineering)

Leue, Stefan [Editor]; Merino, Pedro [Editor];

Published by Springer, 2008

ISBN 10: 3540797068 ISBN 13: 9783540797067

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 22.32
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393)

Published by Springer, 2005

Seller: mountain, GEORGETOWN, CO, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 9.92
Convert currency

� 3.72 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

paperback. Condition: Good. exlibrary softcover book, usual library markings. has some light reader wear . Library stickers and stamps are present .
Stock Image

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software . / Programming and Software Engineering)

Bernardo, Marco [Editor]; Degano, Pierpaolo [Editor]; Zavattaro, Gianluigi [Editor];

Published by Springer, 2008

ISBN 10: 3540688927 ISBN 13: 9783540688921

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 26.98
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Published by Springer, 2007

ISBN 10: 3540724826 ISBN 13: 9783540724827

Language: English

Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 30.27
Convert currency

� 2.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Paperback. Condition: New.
Stock Image

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th . / Programming and Software Engineering)

Brim, Lubos [Editor]; Haverkort, Boudewijn [Editor]; Leucker, Martin [Editor]; Pol, Jaco van de [Editor];

Published by Springer, 2007

ISBN 10: 3540709517 ISBN 13: 9783540709510

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 32.46
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Bernardo, Marco [Editor]; Bogliolo, Alessandro [Editor];

Published by Springer, 2008

ISBN 10: 3540256970 ISBN 13: 9783540256977

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 36.87
Convert currency

� 5.20 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Seller Image

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Bernardo, Marco (EDT); De Vink, Erik (EDT); Di Pierro, Alessandra (EDT); Wiklicky, Herbert (EDT)

Published by Springer, 2013

ISBN 10: 3642388736 ISBN 13: 9783642388736

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 42.31
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Programming and Software Engineering)

Published by Springer, 2013

ISBN 10: 364241009X ISBN 13: 9783642410093

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.36
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... (Programming and Software Engineering)

Published by Springer, 2013

ISBN 10: 3642388736 ISBN 13: 9783642388736

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.36
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Bernardo, Marco (EDT); Padovani, Luca (EDT); Zavattaro, Gianluigi (EDT)

Published by Springer, 2009

ISBN 10: 364201917X ISBN 13: 9783642019173

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 43.58
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)

Published by Springer, 2015

ISBN 10: 3319189409 ISBN 13: 9783319189406

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.35
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)

Published by Springer, 2015

ISBN 10: 3319189409 ISBN 13: 9783319189406

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.32
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Programming and Software Engineering)

Published by Springer, 2014

ISBN 10: 3319107011 ISBN 13: 9783319107011

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.32
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering)

Published by Springer, 2019

ISBN 10: 3030270076 ISBN 13: 9783030270070

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.32
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for the Design of Real - Time Systems : International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, SFM-RT 2004 Bertinoro, Italy, September 13-18, 2004 Revised Lectures

Bernardo, Marco; Corradini, Flavio; International School on Formal Methods f

Published by Springer, 2004

ISBN 10: 3540230688 ISBN 13: 9783540230687

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.55
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Bernardo, Marco (EDT); Bogliolo, Alessandro (EDT)

Published by Springer, 2008

ISBN 10: 3540256970 ISBN 13: 9783540256977

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.55
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003

Bernardo, Marco (EDT); Inverardi, Paola (EDT); Paola, Paola; International School on Formal Methods for the Design of Computer, com (EDT)

Published by Springer, 2003

ISBN 10: 3540200835 ISBN 13: 9783540200833

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.56
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006 Betinoro, Italy, May 22-27, 2006 Advanced Lectures

Bernardo, Marco (EDT); Cimatti, Alessandro (EDT)

Published by Springer, 2006

ISBN 10: 3540343040 ISBN 13: 9783540343042

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.58
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Bernardo, Marco (EDT); De Nicola, Rocco (EDT); Hillston, Jane (EDT)

Published by Springer, 2016

ISBN 10: 3319340956 ISBN 13: 9783319340951

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.64
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Published by Springer, 2014

ISBN 10: 3319073168 ISBN 13: 9783319073163

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.64
Convert currency

� 1.96 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)

Published by Springer, 2006

ISBN 10: 3540343040 ISBN 13: 9783540343042

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.62
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3465)

Published by Springer, 2008

ISBN 10: 3540256970 ISBN 13: 9783540256977

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.62
Convert currency

� 2.97 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

Create a Want

Tell us what you're looking for and once a match is found, we'll inform you by e-mail.

Create a Want

BookSleuth

Forgotten the title or the author of a book? Our BookSleuth is specially designed for you.

Visit BookSleuth

Formal Methods Software Systems (206 results)

Search filters

Product Type

Condition Learn more

Binding

Collectible Attributes

Language (2)

Price

Free Shipping

Seller Location

Seller Rating

Create a Want

BookSleuth

Help with Search