Formal methods for performance evaluation
7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures
SFM 2007
International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2007 : Bertinoro, Italy)
creator
Bernardo, Marco.
Hillston, J. (Jane)
1963-
text
bibliography
gw
Berlin
Springer
2007
monographic
eng
vi, 467 p. : ill. ; 24 cm.
specialized
Marco Bernardo, Jane Hillston (eds.)
Lectures.
Includes bibliographical references and index.
Online version also available.
Formal methods (Computer science)
Congresses
Integrated circuits
Verification
Congresses
Lecture notes in computer science, 4486
3540724826 (pbk.)
9783540724827 (pbk.)
2007-926022
http://ebooks.ohiolink.edu/xtf-ebc/view?docId=tei/sv/9783540725220/9783540725220.xml
http://ebooks.ohiolink.edu/xtf-ebc/view?docId=tei/sv/9783540725220/9783540725220.xml
UMP
080307
20251117145158.0
vtls000025255