logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Bernhard Steffen's Books back

language per page order
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, Crete, Greece, October 18-21, 2010 Proceedings, Part II - Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, Crete, Greece, October 18-21, 2010 Proceedings, Part II
by Tiziana Margaria (author), Bernhard Steffen (author)
publisher: Springer publish date: October 19th 2010
format: paperback pages: 500
language: English
ISBN: 3642165605 (9783642165603)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008 Porto Sani, Greece, October 13-15,2008 Proceedings. Communications in Computer and Information Science, V. 17. - Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008 Porto Sani, Greece, October 13-15,2008 Proceedings. Communications in Computer and Information Science, V. 17.
by Tiziana Margaria (author), Bernhard Steffen (author)
publisher: Springer publish date: October 10th 2008
format: ebook pages: 880
ISBN: 1281872105 (9781281872104)
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected ... Selec (Lecture Notes in Computer Science) - Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected ... Selec (Lecture Notes in Computer Science)
by W. Rance Cleaveland (author), Kim G. Larsen (author), Tiziana Margaria (author), Bernhard Steffen (author), Ed Brinksma (author)
publisher: Springer publish date: November 23rd 1995
format: kindle pages: 298
language: English
ASIN: B000QCUF0W
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science) - Tiziana Margaria, Bernhard Steffen, Roland Rxfcckert, Joachim Posegga
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science)
by Roland Rxfcckert (author), Joachim Posegga (author), Tiziana Margaria (author), Bernhard Steffen (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 332
language: English
ASIN: B000QCQTKC
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings
by Bernhard Steffen (author)
publisher: Springer publish date: January 7th 2004
format: paperback pages: 325
language: English
ISBN: 3540208038 (9783540208037)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 Proceedings - Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 Proceedings
by Tiziana Margaria (author), Bernhard Steffen (author)
publisher: Springer publish date: October 14th 2008
format: paperback pages: 869
language: English
ISBN: 3540884785 (9783540884781)
ASIN: 3540884785
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004 Venice, Italy, January 2004 Proceedings - Bernhard Steffen, Giorgio Levi
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004 Venice, Italy, January 2004 Proceedings
by Bernhard Steffen (author), Giorgio Levi (author)
publisher: Springer publish date: January 1st 2005
format: ebook pages: 341
ISBN: 1280306688 (9781280306686)
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science) - Bernhard Steffen, Giorgio Levi
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science)
by Bernhard Steffen (author), Giorgio Levi (author)
publisher: Springer publish date: February 22nd 2009
format: kindle pages: 336
language: English
ASIN: B000W90CN4
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) - Ernst-Rxfcdiger Olderog, Bernhard Steffen
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
by Ernst-Rxfcdiger Olderog (author), Bernhard Steffen (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 422
language: English
ASIN: B000QJMBHA
Correct System Design - Bernhard Steffen, E. -R Olderog
Correct System Design
by E. -R Olderog (author), Bernhard Steffen (author)
publisher: Springer publish date: September 22nd 1999
format: paperback pages: 422
language: English
ISBN: 3540666249 (9783540666240)
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.