Corina s pasareanu u a (4 Ergebnisse)

Taschenbuch. Zustand: Neu. Formal Aspects of Component Software | 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers | Corina S Pasareanu (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642358609 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II | Daniel Kroening (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2015 | Springer | EAN 9783319216676 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I | Daniel Kroening (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2015 | Springer | EAN 9783319216898 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings | Radu Calinescu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2021 | Springer | EAN 9783030921231 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…