Normal view MARC view ISBD view

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen Fabrice Kordon Marieke Huisman Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems - Springer International Publishing 2019 - Lecture Notes in Computer Science; 11429 1611-3349 .

ISBN: 978-3-030-17501-6 978-3-030-17502-3

Subjects--Topical Terms:
Computer Science

Print
Cite
Request article
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)