Normal view MARC view ISBD view

Concise guide to formal methods: Theory, Fundamentals and Industry Application Gerard O'Regan.

By: O'Regan, GerardMaterial type: Text

TextPublisher: New York, NY : Springer Berlin Heidelberg, 2017Description: xix, 312 pages : illustrations; 23 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 9783319640204Subject(s): Formal methods (Computer science)LOC classification: QA76.9 F67 | O74 2017

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 3 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Barcode
BOOK	UNIMY PJ Library	TB	004.0151 ORE (Browse shelf (Opens below))	1	Available	102616
BOOK	UNIMY PJ Library	TB	004.0151 ORE (Browse shelf (Opens below))	2	Available	102617
BOOK	UNIMY PJ Library	TB	004.0151 ORE (Browse shelf (Opens below))	3	Available	102618

Total holds: 0

Browsing UNIMY shelves, Shelving location: PJ Library Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004 SHE Discovering computers your interactive guide to the digital world	004 SHE Discovering computers your interactive guide to the digital world	004.0151 ORE Concise guide to formal methods: Theory, Fundamentals and Industry Application	004.0151 ORE Concise guide to formal methods: Theory, Fundamentals and Industry Application	004.0151 ORE Concise guide to formal methods: Theory, Fundamentals and Industry Application	004.019 HUM Human-computer interaction /	004.019 HUM Human-computer interaction /	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.