by
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Author
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany), Broy, M., 1949- editor, Peled, Doron A., 1962- editor, Kalus, Georg editor, NATO Emerging Security Challenges Division
Format:
Call Number
QA76.76.V47 N38 2013
Publisher
IOS Press : published in cooperation with NATO Emerging Security Challenges Division,
Publication Date
2013
ISBN
9781614992066
Holds:
Copies:
by
Nipkow, Tobias
Author
Nipkow, Tobias, Grumberg, Orna, Hauptmann, Benedikt
Format:
Call Number
QA76.76.V47 S64 2012
Publisher
IOS Press,
Publication Date
2012
ISBN
9781614990277
Holds:
Copies:
Format:
Call Number
Q295 V47 2005
Publisher
IOS Press,
Publication Date
2006
ISBN
9781586035709
Holds:
Copies:
by
International Symposium, TGC 2005 ( 2005 : Edinburgh, UK)
Author
International Symposium, TGC 2005 ( 2005 : Edinburgh, UK), De Nicola, Rocco, Sangiorgi, Davide
Format:
Call Number
QA76.9.A25 T784 2005
Publisher
Springer,
Publication Date
2005
ISBN
9783540300076
Holds:
Copies:
Select an Action