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

Buy Used and New Tiziana Margaria Books

Results for Tiziana Margaria

Showing 1 to 12 of 14 results
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science) Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science) by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science)

by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga


ISBN 13: 9783540643678

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

Save for later

 
New : $74.59  
New : $74.59
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science) by Bernhard Steffen,Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science)

by Bernhard Steffen,Tiziana Margaria


ISBN 13: 9783540610427

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

Save for later

 
New : $92.86  
New : $92.86
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria


ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

 
New : $82.99  
New : $82.99
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10206 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10206 (Lecture Notes in Computer Science) by Axel Legay,Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10206 (Lecture Notes in Computer Science)

by Axel Legay,Tiziana Margaria


ISBN 13: 9783662545799

Format: Paperback (436 pages)
Publisher: Springer
Published: 31 Mar 2017

Save for later

 
New : $71.16  
New : $71.16
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783662452301

Format: Paperback (664 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

 
New : $82.99  
New : $82.99
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783662452332

Format: Paperback (568 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

 
New : $77.26  
New : $77.26
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 : $82.99  
New : $82.99
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 : $74.59  
New : $74.59
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 : $53.93  
New : $53.93
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 : $69.94  
New : $69.94
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science) Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science) by Tiziana Margaria, Susanne Graf, Kim G. Larsen

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science)

by Tiziana Margaria, Susanne Graf, Kim G. Larsen


ISBN 13: 9783030223472

Format: Paperback (448 pages)
Publisher: Springer
Published: 26 Jun 2019

Save for later

 
New : $76.97  
New : $76.97
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479) by Tiziana Margaria,Bernhard Steffen

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

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030837228

Format: Paperback (277 pages)
Publisher: Springer
Published: 05 Aug 2021

Save for later

 
New : $59.63  
New : $59.63