Buy Used and New TizianaMargaria Books

Process Design for Natural Scientists: An Agile Model-Driven Approach: 500 (Communications in Computer and Information Science)

by Anna-Lena Lamprecht, Tiziana Margaria

ISBN 13: 9783662450055

Format: Paperback (264 pages)
Publisher: Springer
Published: 02 Oct 2014

Save for later

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings: 4764 (Lecture Notes in Computer Science)

by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria

ISBN 13: 9783540747659

Format: Paperback (244 pages)
Publisher: Springer
Published: 21 Sep 2007

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, ... I: 9952 (Lecture Notes in Computer Science)

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783319471655

Format: Paperback (1002 pages)
Publisher: Springer
Published: 06 Oct 2016

Save for later

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

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783319471686

Format: Paperback (894 pages)
Publisher: Springer
Published: 06 Oct 2016

Save for later

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

by Axel Legay, Tiziana Margaria

ISBN 13: 9783662545768

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

Save for later

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

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

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

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

by Tiziana Margaria, Wang Yi

ISBN 13: 9783540418658

Format: Paperback (608 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... (Lecture Notes in Computer Science)

by Tom Melham, Tiziana Margaria

ISBN 13: 9783540425410

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

Save for later

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

Semantic Web Services Challenge: Results from the First Year: 8 (Semantic Web and Beyond)

by Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

ISBN 13: 9781441944405

Format: Paperback (308 pages)
Publisher: Springer
Published: 23 Nov 2010

Save for later