Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 09372112
Price: 53.79 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 9783319216676

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

Daniel Kroening

Corina S. Pasareanu

Sprache

Englisch

Buch Broschur

Libristo-Code: 09372112

Verlag Springer International Publishing AG, Juli 2015

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Vollständige Beschreibung

Libristo-Code: 09372112

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Redeskriptionen horizontaler Geographien Olaf Kuhne

Adobe ePub DRM

110.59 €

La Divine Comédie De Dante; Volume 1 Louis Ratisbonne

Broschur

28.79 €

Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley

Broschur

42.89 €

Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller

Broschur

58.00 €

Medizinischer Grundwortschatz Martin Trebsdorf

Broschur

18.99 €

The two-volume proceedings set LNCS 9206 + 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. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Aided Verification

Autor Daniel Kroening, Corina S. Pasareanu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 469

EAN 9783319216676

ISBN 3319216678

Libristo-Code 09372112

Verlag Springer International Publishing AG

Gewicht 7314

Abmessungen 155 x 235 x 25

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert