Name: Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)
Brand: Springer Berlin Heidelberg
SKU: ID12004801

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

53.49 EUR 9% Off 59.00 EUR

Ein Fachband aus dem internationalen Workshop CAV ’91 in Aalborg, der neue Ansätze zur formalen Verifikation von Softwaresystemen beleuchtet und praxisnahe Fallstudien zu Modellprüfungen präsentiert.

Marke: Springer Berlin Heidelberg

MPN: 1

ISBN: 3540551794

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 59.00 EUR

07-11-2026 03:17:58

Access to the deal

-9%

Gesponsert Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

Medimops DE

53.49 EUR 59.00 EUR

06-11-2026 12:53:06

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

59.00 EUR 59.00 EUR

06-11-2026 06:18:40

Access to the deal

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

Gesponsert Computer Aided Verification

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)

Gesponsert Computer Aided Verification

Ähnliche Produkte

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254, Band 1254)

Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science, 697, Band 697)

Computer Aided Verification

Computer Aided Verification