Normal view MARC view ISBD view

Formal methods in computer science

Wang, Jiacun

Formal methods in computer science - Boca Raton CRC Press 2020 - xvii, 294p. - Textbooks in Mathematics . - Boggess, AI .

ISBN: 9781498775328

Subjects--Topical Terms:
Formal methods (Computer science)

Dewey Class. No.: 004.01 W1841f

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)

Welcome to LNMIIT Central LibraryOnline Public Access Catalogue

Formal methods in computer science

Welcome to LNMIIT Central Library
Online Public Access Catalogue