Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Computer Aided Verification

Computer Aided Verification

- 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

enthalten in Theoretical Computer Science and General Issues-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Computer Aided Verification
Über Computer Aided Verification

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319216898
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 677
  • Veröffentlicht:
  • 27. Juli 2015
  • Ausgabe:
  • 12015
  • Abmessungen:
  • 155x235x36 mm.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Computer Aided Verification

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

Kund*innenbewertungen von Computer Aided Verification



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Computer Aided Verification ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.