Leveraging Applications Formal Methods (427 results)

Title: leveraging applications formal methods

Refine with Advanced Search

Stock Image

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers

Tiziana Margaria; Bernhard Steffen (editors)

Published by Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Language: English

Seller: BookOrders, Russell, IA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Fair

� 23.50

� 3.04 shipping within U.S.A.

Quantity: 1 available
Add to basket

Soft Cover. Condition: Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library.
Seller Image

Leveraging applications of formal methods, verification and validation, Applications and case studies, 2 Lecture notes in computer science ; 7610

Margaria, Tiziana and Bernhard Steffen:

Published by Berlin ; Heidelberg : Springer, 2012

ISBN 10: 3642340318 ISBN 13: 9783642340314

Language: English

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 29.93

� 11.42 shipping from Germany to U.S.A.

Quantity: 1 available
Add to basket

Broschiert. Condition: Gut. XVI, 361 S. : Ill., graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.
Stock Image

Leveraging Applications of Formal Methods Verification and Validation Applicat (eng)

Margaria, Tiziana

Published by Springer, 2024

ISBN 10: 3031753895 ISBN 13: 9783031753893

Language: English

Seller: Brook Bookstore, Milano, MI, Italy

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 37.68

� 7.05 shipping from Italy to U.S.A.

Quantity: 5 available
Add to basket

Condition: new.
Stock Image

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Maragria, Tiziana [Editor]; Steffen, Bernhard [Editor];

Published by Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 40.34

� 5.32 shipping within U.S.A.

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

Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 1

Margaria, Tiziana and Bernhard Steffen:

Published by Springer, 2012

ISBN 10: 3642340253 ISBN 13: 9783642340253

Language: English

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 31.74

� 14.06 shipping from Germany to U.S.A.

Quantity: 1 available
Add to basket

Broschiert. Condition: Gut. 614 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 970.
Seller Image

Leveraging Applications of Formal Methods : First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Maragria, Tiziana; Steffen, Bernhard (EDT)

Published by Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.39

� 2.01 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, Isola 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Lamprecht, Anna-lena (EDT)

Published by Springer, 2016

ISBN 10: 331951640X ISBN 13: 9783319516400

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.39

� 2.01 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 4313)

Published by Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.33

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, ... in Computer and Information Science, 683)

Published by Springer, 2016

ISBN 10: 331951640X ISBN 13: 9783319516400

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.33

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)

Published by Springer, 2012

ISBN 10: 3642347800 ISBN 13: 9783642347801

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.69

� 2.01 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Computer Science and General Issues)

Published by Springer, 2012

ISBN 10: 3642340318 ISBN 13: 9783642340314

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.64

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science, 336)

Published by Springer, 2012

ISBN 10: 3642347800 ISBN 13: 9783642347801

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.64

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Theoretical Computer Science and General Issues)

Published by Springer, 2021

ISBN 10: 303083722X ISBN 13: 9783030837228

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.64

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems : 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings

Margaria, Tiziana (EDT); Steffen, Bernhard (EDT)

Published by Springer, 2018

ISBN 10: 3030034232 ISBN 13: 9783030034238

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 48.04

� 2.01 shipping within U.S.A.

Quantity: 15 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Computer Science and General Issues)

Published by Springer, 2014

ISBN 10: 3662452332 ISBN 13: 9783662452332

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II (Lecture Notes in Computer Science, 6416)

Published by Springer, 2010

ISBN 10: 3642165605 ISBN 13: 9783642165603

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: 1 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: Applications (Theoretical Computer Science and General Issues)

Published by Springer, 2020

ISBN 10: 3030614662 ISBN 13: 9783030614669

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (Theoretical Computer Science and General Issues)

Published by Springer, 2020

ISBN 10: 3030614697 ISBN 13: 9783030614690

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Computer Science and General Issues)

Published by Springer, 2018

ISBN 10: 3030034232 ISBN 13: 9783030034238

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Computer Science and General Issues)

Published by Springer, 2018

ISBN 10: 3030034208 ISBN 13: 9783030034207

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Computer Science and General Issues)

Published by Springer, 2018

ISBN 10: 3030034267 ISBN 13: 9783030034269

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings

Margaria, Tiziana (EDT); Steffen, Bernhard (EDT)

Published by Springer, 2012

ISBN 10: 3642340253 ISBN 13: 9783642340253

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 48.27

� 2.01 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Computer Science and General Issues)

Published by Springer, 2014

ISBN 10: 3662452308 ISBN 13: 9783662452301

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.22

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Computer Science and General Issues)

Published by Springer, 2012

ISBN 10: 3642340253 ISBN 13: 9783642340253

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.22

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... Computer Science and General Issues)

Published by Springer, 2018

ISBN 10: 3030034178 ISBN 13: 9783030034177

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.22

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissimination, Applications; 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings

Margaria, Tiziana (EDT); Steffen, Bernhard (EDT)

Published by Springer, 2016

ISBN 10: 3319471686 ISBN 13: 9783319471686

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 48.46

� 2.01 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... II (Lecture Notes in Computer Science, 9953)

Published by Springer, 2016

ISBN 10: 3319471686 ISBN 13: 9783319471686

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 47.41

� 3.03 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria

Published by Springer, 2024

ISBN 10: 3031753895 ISBN 13: 9783031753893

Language: English

Seller: PBShop.store UK, Fairford, GLOS, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.48

� 4.16 shipping from United Kingdom to U.S.A.

Quantity: 5 available
Add to basket

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... II (Lecture Notes in Computer Science, 9953)

Published by Springer, 2016

ISBN 10: 3319471686 ISBN 13: 9783319471686

Language: English

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 53.26

Free shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Part V (Lecture Notes in Computer Science)

Published by Springer, 2024

ISBN 10: 3031753895 ISBN 13: 9783031753893

Language: English

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 53.26

Free shipping within U.S.A.

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

Leveraging Applications Formal Methods (427 results)

Search filters

Product Type

Condition Learn more

Binding

Collectible Attributes

Language (1)

Price

Free Shipping

Seller Location

Seller Rating

Create a Want

BookSleuth

Help with Search