System specification and design languages : selected contributions from FDL 2010 /

Saved in:

Bibliographic Details
Imprint:	New York, NY : Springer, c2012.
Description:	1 online resource (xii, 254 p.)
Language:	English
Series:	Lecture notes in electrical engineering, 1876-1100 ; v.106 Lecture notes in electrical engineering ; v.106.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer software -- Verification -- Congresses. Software architecture -- Congresses. Computer software -- Verification. Formal methods (Computer science) Software architecture. Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8872148

Hidden Bibliographic Details
Other authors / contributors:	Kazmierski, Thomas J. Morawiec, Adam. FDL 2010 (2010 : Southampton, England)
ISBN:	9781461414278 (electronic bk.) 146141427X (electronic bk.) 9781461414261
Notes:	Includes bibliographical references.

Similar Items