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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer
SKU: 40998819
Price: 4.41 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030175023

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Sprache

Englisch

E-Book Adobe ePub DRM

Libristo-Code: 40998819

Verlag Springer, April 2019

This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings... Vollständige Beschreibung

Libristo-Code: 40998819

11 b

4.41 €

Verfügbar Sofort herunterladbar

Kunden kauften auch

Beten Volker Schunck

Adobe ePub DRM

1.09 €

Das große Erwachen Kent Heckenlively

Hardcover

10.23 €

Actualites en droit de la jeunesse Thierry Moreau

Adobe ePub DRM

89.14 €

CRUZADA DE LOS NIÑOS DE LA CALLE S.G.A.E SANCHIS SINISTERRA

Buch

8.32 €

El principio falso Glezca Hector Glezca

Broschur

18.46 €

La Patria Lontana, Romanzo Enrico Corradini

Broschur

23.98 €

IL CODICE DELLA PERSUASIONE CHRISTOPHE MORIN

Hardcover

29.10 €

The Byzantine-Ottoman Transition in Venetian Chronicles / La Transizione Bizantino-Ottomana Nelle Cronache Veneziane Carlo Campana

Broschur

49.58 €

Temas Esenciales de la Vida Espiritual V Sr Fernando Regnault

Broschur

8.52 €

La espiritualidad en el trabajo : dar un nuevo sentido a la profesión Friedrich Assländer

Broschur

21.07 €

This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

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 Algorithms for the Construction and Analysis of Systems

Autor Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2019

EAN 9783030175023

Libristo-Code 40998819

Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

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