Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Title:

Series:

Lecture Notes in Computer Science, 4700

Publication Information:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

Physical Description:

xvi, 538 p. : ill., digital ; 24 cm.

ISBN:

9783540752219

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Genre:

DSP_RESTRICTION_NOTE:

Remote access restricted to users with a valid UTM ID via VPN

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	EB000687	EB 000687	Electronic Book	1:EBOOK	Searching... Unknown