[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Tools and Algorithms for the Construction and Analysis of Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria
Libristo-Code: 05274560
Verlag Springer, Berlin, November 1995
This book presents the refereed proceedings of the Second International Workshop on Tools and Algori... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

L'Uniformes des Sapeurs-Pompiers Frederic Coune / Broschur
common.buy 55.89 €
Coming Islamic Invasion of Israel Mark Hitchcock / Broschur
common.buy 13.01 €
Pixars komplette Kurzfilm Collection, 1 DVD, 1 DVD-Video Animatio N / DVD
common.buy 11.09 €
Mobile TV: Customizing Content and Experience Aaron Marcus / Hardcover
common.buy 139.23 €
Le Statut de Tanger D'Apres La Convention Du 18 Decembre 1923 Edgard Rouard De Card / Broschur
common.buy 22.49 €
Miss Carter's War HANCOCK SHEILA / Broschur
common.buy 16.64 €
Systems of Family Therapy Dinkmeyer / Hardcover
common.buy 217.73 €
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy José Mira / Broschur
common.buy 70.52 €
Landlord at Lion's Head - Volume 1 William Dean Howells / Broschur
common.buy 28.44 €
Manual of Kidney Transplant Medical Care Arthur J. Matas / Ring
common.buy 40.75 €
Urban Life of the Song Dynasty Zhao Shiyu / Hardcover
common.buy 132.17 €
Troubled Peace Chae-Jin Lee / Broschur
common.buy 44.38 €
Am Strand Ian McEwan / Broschur
common.buy 11.10 €
Thin Film Ferroelectric Materials and Devices, 1 R. Ramesh / Broschur
common.buy 214.09 €
Information Retrieval and Mining in Distributed Environments Alessandro Soro / Hardcover
common.buy 214.09 €
There is no rose / Noten
common.buy 4.83 €

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Informationen zum Buch

Vollständiger Name Tools and Algorithms for the Construction and Analysis of Systems
Autor Tiziana Margaria, Bernhard Steffen
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1996
Anzahl der Seiten 443
EAN 9783540610427
ISBN 3540610421
Libristo-Code 05274560
Verlag Springer, Berlin
Gewicht 606
Abmessungen 156 x 234 x 23

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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 > 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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto