Normal view MARC view ISBD view

Formal methods Applications and technology [electronic resource]

Brim, Lubo

Formal methods Applications and technology [electronic resource] by Lubo Brim Boudewijn Haverkort and Martin Leucker - Berlin Heidelberg 2007

http://dx.doi.org/10.1007/978-3-540-70952-7

ISBN: 9783540709527

Dewey Class. No.: 005.131 / (e-book)

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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