Cover is for reference only

Leveraging applications of formal methods, verification and validation：Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Saved in:
Bibliographic Details
Corporate Authors: ISoLA 2008 (2008 Chalkidikē, Greece); SpringerLink (Online service)
Group Author: Margaria Tiziana.; Steffen Bernhard.
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2008.
Literature type: Book
Language: English
Series: Communications in computer and information science ; no. 17
Subjects:
Programmverifikation > Formale Methode > Sani <2008>
Softwareentwicklung > Formale Methode > Sani <2008>
Systementwurf > Systemanalyse > Verifikation > Formale Methode > Sani <2008>
Electronic books.
Formal methods (Computer science)
Programmanalyse > Formale Methode > Sani <2008>
Online Access: http://dx.doi.org/10.1007/978-3-540-88479-8
Carrier Form: xiv, 869 p.: ill.
ISBN: 9783540884798 (electronic bk.)
3540884793 (electronic bk.)
Index Number: TP301
CLC: TP301-532
TP311-532
Contents: Includes bibliographical references and index.

Related Book Recommendations