Formal methods applied to complex systems
by
 
Boulanger, Jean-Louis, editor.

Title
: 
Formal methods applied to complex systems

Author
: 
Boulanger, Jean-Louis, editor.

ISBN
: 
9781119004844

Physical Description
: 
1 online resource (478 pages) : illustrations.

Series
: 
Computer Engineering Series
 
Computer engineering series.

Local Note
: 
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

Subject Term
: 
Computer-aided design.
 
Computer engineering.
 
Systems engineering.

Genre
: 
Electronic books.

Added Author
: 
Boulanger, Jean-Louis,

Electronic Access
: 
Click to View


Shelf NumberItem BarcodeShelf LocationShelf LocationHolding Information
TA174 .F676 20141034062-1001Ebook CentralEbook Central