Normal view MARC view ISBD view

Formal methods for software engineering

Shang-Wei Lin (editor) Zhe Hou (editor) Brendan Mahoney (editor)

Formal methods for software engineering : 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings - Switzerland Springer Nature 2021 - xii, 334 p. : ill. ; 24 cm.

Includes bibliographical references and author index.

ISBN: 9783030634056 (pbk)

Subjects--Topical Terms:
Software Engineering --Software engineering congresses--Formal specification--Software verification--Formal methods--FC--GGC

Dewey Class. No.: 005.13 / FOR

Place hold
Print
Add to your cart (remove)
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)