Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

Home
Books
Applied formal methods--FM-Trends 98

Applied formal methods--FM-Trends 98

by Dieter Hutter, Gerhard Goos

Cover of Applied formal methods--FM-Trends 98

No description available.

Formal methods (Computer science)CongressesComputers, congresses

View on OpenLibrary ↗ · data from Open Library (CC0)

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.