Normal view MARC view ISBD view

Software engineering and formal methods

Frank de Boer (editor) Antonio Cerone (editor)

Software engineering and formal methods : 18th International conference, SEFM 2020, Amsterdam, the Netherlands, september 14-18, 2020, proceedings - Switzerland Springer Nature 2020 - xiv, 324 p. : ill. ; 24 cm

Includes bibliographical references and index.

ISBN: 9783030587673 (pbk)

Subjects--Topical Terms:
Software engineering
Artificial intelligence
Computer science--Computer applications --Computer programming --Formal verification--Testing--GGC--FC

Dewey Class. No.: 005.14 / SOF

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)