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 13 to 24 of 29 results
Computing and Software Science: State of the Art and Perspectives: 10000 (Lecture Notes in Computer Science) Computing and Software Science: State of the Art and Perspectives: 10000 (Lecture Notes in Computer Science) by Bernhard Steffen, Gerhard Woeginger

Computing and Software Science: State of the Art and Perspectives: 10000 (Lecture Notes in Computer Science)

by Bernhard Steffen, Gerhard Woeginger


ISBN 13: 9783319919072

Format: Paperback (587 pages)
Publisher: Springer
Published: 15 Nov 2019

Save for later

 
New : $32.57  
New : $32.57
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... 11246 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... 11246 (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... 11246 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030034238

Format: Paperback (538 pages)
Publisher: Springer
Published: 17 Dec 2018

Save for later

 
New : $85.37  
New : $85.37
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I: 11244 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I: 11244 (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I: 11244 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030034177

Format: Paperback (606 pages)
Publisher: Springer
Published: 29 Oct 2018

Save for later

 
New : $85.67  
New : $85.67
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030034269

Format: Paperback (544 pages)
Publisher: Springer
Published: 18 Dec 2018

Save for later

 
New : $85.67  
New : $85.67
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... II: 11245 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... II: 11245 (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... II: 11245 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030034207

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Dec 2018

Save for later

 
New : $79.46  
New : $79.46
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen


ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

 
New : $55.63  
New : $55.63
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... 1384 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... 1384 (Lecture Notes in Computer Science) by Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... 1384 (Lecture Notes in Computer Science)

by Bernhard Steffen


ISBN 13: 9783540643562

Format: Paperback (484 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $98.74  
New : $98.74
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma


ISBN 13: 9783540606307

Format: Paperback (308 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $77.00  
New : $77.00
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part I (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part I (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part I (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783642340253

Format: Paperback (636 pages)
Publisher: Springer
Published: 11 Sep 2012

Save for later

 
New : $85.67  
New : $85.67
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783642340314

Format: Paperback (380 pages)
Publisher: Springer
Published: 11 Sep 2012

Save for later

 
New : $55.67  
New : $55.67
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) 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) by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

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)

by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen


ISBN 13: 9783642347801

Format: Paperback (276 pages)
Publisher: Springer
Published: 12 Oct 2012

Save for later

 
New : $72.20  
New : $72.20
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches by Bernhard Steffen,Oliver Rüthing,Michael Huth

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

by Bernhard Steffen,Oliver Rüthing,Michael Huth


ISBN 13: 9783030098339

Format: Paperback (256 pages)
Publisher: Springer
Published: 17 Apr 2019

Save for later

 
New : $35.75  
New : $35.75