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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Techniques for Networked and Distributed Systems, 1

Name: Formal Techniques for Networked and Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254230
Price: 214.29 EUR
Availability: InStock
Author: yungchul Kim
ISBN: 9781475788259

FORTE 2001

Sprache

Englisch

Buch Broschur

Libristo-Code: 02254230

Verlag Springer, Berlin, Juni 2013

This book presents the latest worldwide results in theory and practice of formal techniques for netw... Vollständige Beschreibung

Libristo-Code: 02254230

524 b

214.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ihre Hingabe Anna Stone

Broschur

14.99 €

oroscopo 2024 Paolo Fox

Broschur

12.49 €

FERNSTUDIENHEIT 28: Spiele im Deutschunterricht Dorothea Lévy-Hillerich

Broschur

22.79 €

L'efficacia del sistema di controllo di sicurezza dell'aeroporto in Namibia Pandeni Kandjabanga Shimweefeleni

Broschur

51.19 €

El hierro en la ijada Alonso Crespo

binding.

3.29 €

Le régime consensualiste dans la constitution congolaise du 25 octobre 2015 Makosso

Broschur

38.89 €

El Procedimiento Penal En El Fuero Federal (1897) Jose E. Arena

Broschur

21.99 €

Královna a divoška Anselm Grün

Broschur

10.69 €

deutsche TV-Markt im Wandel Bartosz Mazur

Broschur

39.99 €

Losungsorientierte Kinesiologie Stefan Strobl

Broschur

14.95 €

Sie waren auch Helden: die Frauen und Mütter Gerhard Kroll

Broschur

29.90 €

Bordtagebuch Luciano Premoso

Broschur

17.50 €

El llibre de la tardor DD.AA

Hardcover

6.89 €

3 Dani Jensen

Broschur

20.09 €

Jan Van Ruusbroec: de Mystieke Vereniging Met God Paul Mommaers

Broschur

36.59 €

Les Pamphlets de la Fin de l'Empire, Des Cent-Jours Et de la Restauration Germond De LaVigne

Broschur

21.99 €

Čti+ Co je v poště? neuvedený autor

Broschur

1.19 €

sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg

Broschur

47.95 €

Schmerzdokumentation in Der Praxis Erdmute Pioch

Broschur

37.99 €

Du Pilotage d'Un Parc Patrimonial Immobilier Par Les Risques Franck Taillandier

Broschur

91.29 €

Cambio Institucional. La Peninsula de Baja California, S. XVIII-XIX María Elena Nancy Dávila Moreno

Broschur

36.49 €

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: §Formal Methods in Software Development, §Process Algebra, §Timed Automata, §Theories and Applications of Verification, §Distributed Systems Testing, §Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. §This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.§Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.

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 Formal Techniques for Networked and Distributed Systems, 1

Autor yungchul Kim, youngmoon Chin, ungwon Kang, anhyung Lee

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 459

EAN 9781475788259

ISBN 1475788258

Libristo-Code 02254230

Verlag Springer, Berlin

Gewicht 724

Abmessungen 155 x 235 x 24

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

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