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 :-(

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson

Andre Scedrov

Viktor Zakharov

Sprache

Englisch

Buch Broschur

Libristo-Code: 18376661

Verlag Springer International Publishing AG, Dezember 2017

This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Met... Vollständige Beschreibung

Libristo-Code: 18376661

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

100 PRIMERAS PALABRAS NOSY CROW

Hardcover

9.59 €

Chemisches Zentralblatt / Autoren- und Patentregister für das Jahr ..., 128. Jahrgang, 1957, I. Halbjahr 1: Januar ? Juni No Contributor

Hardcover

278.69 €

Matilda Quentin Blake

Broschur

16.19 €

Le petit journal de mon bébé

Broschur

30.19 €

Jeevan Ek Anveshan J. Krishnamurti

Broschur

22.99 €

Diagnoza rak Grinblat Boris

Broschur

12.99 €

Der Teufel von London Thomas Riedel

Broschur

16.59 €

Etty Hillesum : la inteligencia del corazón Wanda Tommasi

Broschur

23.69 €

El arte de no ser egoísta : Una reflexión sobre la moral y los obstáculos para practicarla Richard David Precht

Broschur

35.99 €

Die Rhetorische Architektur Erstinstanzlicher Strafentscheidungen Lewis Atholl Johnston

Hardcover

76.09 €

This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

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 Tools and Methods of Program Analysis

Autor Vladimir Itsykson, Andre Scedrov, Viktor Zakharov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2017

Anzahl der Seiten 209

EAN 9783319717333

ISBN 3319717332

Libristo-Code 18376661

Verlag Springer International Publishing AG

Gewicht 355

Abmessungen 155 x 235 x 12

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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