Formal Methods for Software Engineering: languages, methods, application domains / Markus Roggenbach, Antonio Cerone, {others editors}

By:

Material type:

TextPublication details: Switzerland: Springer, 2022.Description: 524 Pages; 24 cmISBN:

Other title:

LOC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Notes	Barcode
Books	Rabdan Academy General Stacks	General Collection	QA76.9 .R733 2022 (Browse shelf(Opens below))	C. 1	Available	AED 202.65	22099

Total holds: 0

Browsing Rabdan Academy shelves,Shelving location: General Stacks,Collection: General Collection Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA76.9 .M689 2015 Modeling and Simulation in the Systems Engineering Life Cycle : core concepts and accompanying lectures /	QA76.9 .N37 Z63 2021 Membrane Computing Models: implementations /	QA76.9 .P898 2021 Cognitive Engineering for Next Generation Computing : a practical analytical approach /	QA76.9 .R733 2022 Formal Methods for Software Engineering: languages, methods, application domains /	QA76.9 .S63 L864 2004 Soft Methodology and Random Information Systems /	QA76.9 .Z46 2007 Modeling and Simulation-Based Data Engineering : introducing pragmatics into ontologies for net-centric information exchange /	QA76.9 .Z46 2017 Guide to Modeling and Simulation of Systems of Systems /	Next

There are no comments on this title.

to post a comment.