Sell, buy or rent Bernhard Steffen textbooks

9783540123286-3540123288-The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/ Mil-std-1815a-1983, Approved 17 February 1983 (Lecture Notes in Computer Science)
9783540123286-3540123288-The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/ Mil-std-1815a-1983, Approved 17 February 1983 (Lecture Notes in Computer Science)

The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/ Mil-std-1815a-1983, Approved 17 February 1983 (Lecture Notes in Computer Science)

by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan
ISBN-13: 9783540123286
ISBN-10: 3540123288
Edition: 1983
Publisher: Springer
Format: Paperback 348 pages
Sell Shop now at Amazon
9783642165603-3642165605-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II (Lecture Notes in Computer Science, 6416)
9783642165603-3642165605-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II (Lecture Notes in Computer Science, 6416)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II (Lecture Notes in Computer Science, 6416)

by Tiziana Margaria, Bernhard Steffen
ISBN-13: 9783642165603
ISBN-10: 3642165605
Edition: 2010
Publisher: Springer
Format: Paperback 513 pages
Sell Shop now at Amazon
9783319471655-3319471651-Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... I (Lecture Notes in Computer Science, 9952)
9783319471655-3319471651-Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... I (Lecture Notes in Computer Science, 9952)

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

by Tiziana Margaria, Bernhard Steffen
ISBN-13: 9783319471655
ISBN-10: 3319471651
Edition: 1st ed. 2016
Publication date: 2016
Publisher: Springer
Format: Paperback 997 pages
Sell Shop now at Amazon eBook from $29.70
9783319919072-3319919075-Computing and Software Science: State of the Art and Perspectives (Lecture Notes in Computer Science, 10000)
9783319919072-3319919075-Computing and Software Science: State of the Art and Perspectives (Lecture Notes in Computer Science, 10000)

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

by Bernhard Steffen, Gerhard Woeginger
ISBN-13: 9783319919072
ISBN-10: 3319919075
Edition: 1st ed. 2019
Publication date: 2019
Publisher: Springer
Format: Paperback 609 pages
eBook from $9.00
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.