Normal view MARC view ISBD view

Formal methods in computer science

Wang Jiacum

Formal methods in computer science - Boca Raton CRC Press 2020 - xvii, 294p. ill. cm - Textbooks in mathematics .

Index 291-294p.

ISBN: 9781498775328 (pbk)

Standard No.: 201374

Source: 5986, 18/12/2019, Ashutosh Technical Books Textual

Subjects--Topical Terms:
Formal methods
Petri nets
Predicate logic
Computer Science

Dewey Class. No.: D65,8(B), R0

Place hold
Print
Cite
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)