Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-42345-4 / 978-3540423454 / 9783540423454

Verlag: Springer Berlin

Erscheinungsdatum: 04.07.2001

Seiten: 522

Auflage: 1

Zielgruppe: Research

Herausgegeben von Gerard Berry, Hubert Comon, Alain Finkel

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück