The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernhard Steffen Books

Results for Bernhard Steffen

Showing 1 to 5 of 5 results
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging ... (Lecture Notes in Computer Science, 12476) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging ... (Lecture Notes in Computer Science, 12476) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging ... (Lecture Notes in Computer Science, 12476)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030613617

Format: Paperback (605 pages)
Publisher: Springer
Published: 29 Oct 2020

Save for later

 
New : $88.39  
New : $88.39
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13702) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13702) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13702)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783031197550

Format: Paperback (440 pages)
Publisher: Springer
Published: 20 Oct 2022

Save for later

 
New : $70.89  
New : $70.89
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... (Lecture Notes in Computer Science, 13704) Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... (Lecture Notes in Computer Science, 13704) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... (Lecture Notes in Computer Science, 13704)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783031197611

Format: Paperback (437 pages)
Publisher: Springer
Published: 20 Oct 2022

Save for later

 
New : $65.18  
New : $65.18
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783031198489

Format: Paperback (611 pages)
Publisher: Springer
Published: 20 Oct 2022

Save for later

 
New : $88.39  
New : $88.39
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems by Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen, Fabrice Kordon, Marieke Huisman


ISBN 13: 9781013271212

Format: Hardcover (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

 
New : $65.16  
New : $65.16