Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Formal Techniques for Networked and Distributed Systems - FORTE 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo-Code: 01558642
Verlag Springer, Berlin, November 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kinderfl chtlinge Petra Dieckhoff / Buch Broschur
common.buy 49.79 €
Die 24 Elemente der Magie Danielle Weidig / Buch Broschur
common.buy 17.99 €
BABADADA black-and-white, Srbija (Latinski pisanje) - slovenčina, slikovni rečnik - obrazkovy slovnik Babadada Gmbh / Buch Broschur
common.buy 6.99 €
Základy společenských věd pro SOŠ - Pracovní sešit / Buch Broschur
common.buy 10.59 €
Die Magd des Gutsherrn Elisabeth Büchle / Buch Broschur
common.buy 16.00 €
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Buch Broschur
common.buy 24.29 €
Ptákovina Milan Kundera / Audio Audio CD
common.buy 8.59 €
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Buch Hardcover
common.buy 39.00 €
A Night at the Nordic House (With the Symphony Orc Týr / Audio Audio CD
common.buy 12.09 €
El cardenal Manning : una biografía intelectual James Pereiro / Buch Broschur
common.buy 17.39 €
Andorra : 17 excursions a peu MANEL FIGUERA / Buch Broschur
common.buy 15.69 €
Demnächst
Macanudo 3 Ricardo Liniers / Buch Broschur
common.buy 10.19 €
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Spiel/Spielzeug Spiel
common.buy 13.99 €
Manuale della guardia del corpo Gérard Desmaretz / Buch Broschur
common.buy 30.19 €
LEY DEL PROCEDIMIENTO ADMINISTRATIVO COMÚN DE LAS ADMINISTRACIONES PÚBLICAS 2019 Editorial Tecnos / Buch Broschur
common.buy 13.49 €
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Buch Broschur
common.buy 19.09 €
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Buch Broschur
common.buy 64.39 €
Top
Razítka Dinosaurus, felt-tip pens box / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 21.09 €
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Buch Broschur
common.buy 30.79 €
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Buch Hardcover
common.buy 49.69 €
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Buch Broschur
common.buy 19.95 €
Herzzeit; Briefwechsel Ingeborg Bachmann / Buch Broschur
common.buy 14.00 €
Rýchle fakty: Reumatoidná artritída autorov Kolektív / Buch Broschur
common.buy 24.99 €
Initiation à la chiromancie Webster / Buch Buch
common.buy 19.49 €

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Techniques for Networked and Distributed Systems - FORTE 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 429
EAN 9783540201755
ISBN 3540201750
Libristo-Code 01558642
Verlag Springer, Berlin
Gewicht 626
Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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
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

Das könnte Sie auch interessieren

Perspective in Nuclear Physics Sun-Chan Jeong / Buch Broschur
common.buy 144.59 €
How We Lived in Wellborn before Television Glenn D Davis / Buch Broschur
common.buy 15.39 €
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Buch Hardcover
common.buy 194.39 €
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Buch Broschur
common.buy 18.19 €
Stephen Mccranie's Space Boy Volume 2 Stephen McCranie / Buch Broschur
common.buy 13.59 €
Written World Martin Puchner / Buch Broschur
common.buy 18.09 €
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Buch Broschur
common.buy 23.99 €
Early Childhood and Development Work Anne-Trine Kj?rholt / Buch Hardcover
common.buy 143.69 €
Fighting for the Chief's Agreement Bethany Dayna / Buch Broschur
common.buy 8.69 €
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Buch Broschur
common.buy 7.89 €
Advantages and Surroundings of New Albany David Peter Robbins / Buch Broschur
common.buy 13.19 €
Top
Fashion Patternmaking Techniques for Accessories: Shoes, Bags, Hats, Gloves, Ties, Buttons and Dog Clothing Antonio Donnanno / Buch Broschur
common.buy 33.39 €
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Buch Broschur
common.buy 17.89 €
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Buch Broschur
common.buy 15.19 €
My Birthday Pony Lola May Groves / Buch Broschur
common.buy 24.09 €
Famous Pianists of Today and Yesterday Henry C. Lahee / Buch Broschur
common.buy 27.89 €
Eccentric Lives and Peculiar Notions John Michell / Buch Broschur
common.buy 14.49 €
Canton Gay Morgan Moore / Buch Broschur
common.buy 21.89 €
Theory of the Solitary Sailor Grelet / Buch Broschur
common.buy 15.49 €
The Unstoppable Dogs Lauren Krame-Theuerkauf / Buch Hardcover
common.buy 20.99 €
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Buch Hardcover
common.buy 14.99 €
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Buch Hardcover
common.buy 32.79 €
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Buch Broschur
common.buy 16.59 €
Where Do We Go from Here? Victoria Adams / E-Book Adobe ePub DRM
common.buy 20.59 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?