Automated Theorem Proving in Software Engineering Johann M. Schumann
53,49 €
Titel: Automated Theorem Proving in Software Engineering, Einband: Taschenbuch, Autor: Johann M. Schumann, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 244, Maße: 235x155x14 mm, Gewicht: 376 g, Verkäufer: buch-mimpf, Schlagworte: Design Processing Software Engineering architecture automated theorem proving extension formal methods logic proving security software reuse software verification theorem proving verification.
Jetzt bei Ebay:
