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 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer International Publishing AG
SKU: 02081875
Price: 53.79 EUR
Availability: InStock
Author: Dang Van Hung
ISBN: 9783319024431

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung

Mizuhito Ogawa

Sprache

Englisch

Buch Broschur

Libristo-Code: 02081875

Verlag Springer International Publishing AG, August 2013

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Vollständige Beschreibung

Libristo-Code: 02081875

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wer aufgibt, wird nie Sieger! Martin K. W. Schweer

Broschur

24.80 €

Szellő, a szitakötő Bartos Erika

Leporello

4.79 €

Liturgia del disprezzo Antoine Volodine

Broschur

20.59 €

Mindbug

binding.

15.79 €

El Defensor del Pueblo en el sector bancario - Una revisión Sanjay Kaptan

Broschur

25.29 €

mi amigo el Psicopata Ardaist Sergio Ardaist

Broschur

20.59 €

Vidrios y vidrieras. Artes decorativas españolas Pérez Bueno

Broschur

27.89 €

Dans l'enfer de Montretout Beaumont

Broschur

24.89 €

Handbuch Europarecht Walter Frenz

Hardcover

240.89 €

Wissen des Rechts Alexander Somek

Broschur

28.39 €

Description Historique Et Statistique de La Ville de Reims, Etc Jean Baptiste Franc Ge Ruzez

Broschur

27.89 €

Stabat Mater - Symfonický orchestr hl.m. Prahy (FOK)/Jiří Bělohlávek, sólisté - CD Antonín Dvořák

Audio CD

20.59 €

Cartas a Martín Zapater Francisco de Goya

Broschur

21.39 €

Las mejores recetas de Bagels genuinos de Nueva York Burton

Broschur

8.09 €

Márgenes de la Modernidad : libertinismo y filosofía en el siglo XVII Pedro Lomba

Broschur

28.69 €

SAP FI Ridvan Akgül

Broschur

21.99 €

Autopsie, 2 Bde. Manfred Heiting

Hardcover

175.69 €

Behinderung verhindern Britta-Marie Schenk

Broschur

63.29 €

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. §The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. §The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

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 Automated Technology for Verification and Analysis

Autor Dang Van Hung, Mizuhito Ogawa

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 528

EAN 9783319024431

ISBN 3319024434

Libristo-Code 02081875

Verlag Springer International Publishing AG

Gewicht 825

Abmessungen 155 x 235 x 29

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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