Normal view MARC view ISBD view

Integrated formal methods : 8th international conference : proceedings, IFM, Nancy, France, Oct. 11-14, 2010 (e-book)

Integrated formal methods : 8th international conference : proceedings, IFM, Nancy, France, Oct. 11-14, 2010 (e-book) - Berlin Springer 2010 - Lecture notes in computer science v.6396 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

ISBN: 978-3-642-16265-7

Subjects--Topical Terms:
Computer science and engineering
Formal methods (Computer science)--Congresses

Print
Add to your cart (remove)
More searches

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