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

Formal Techniques for Networked and Distributed Systems, 1

Name: Formal Techniques for Networked and Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254230
Price: 226.49 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

548 b

226.49 €

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

22.13 €

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

Broschur

39.32 €

¿Es posible hacer revivir al mamut? Tassy

binding.

2.42 €

El hierro en la ijada Alonso Crespo

binding.

3.12 €

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

Broschur

48.93 €

Rituel de la maçonnerie égyptienne BALSAMO GIUSEPPE

Broschur

17.99 €

Ihre Hingabe Anna Stone

Broschur

13.54 €

oroscopo 2024 Paolo Fox

Broschur

11.92 €

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

Broschur

22.24 €

deutsche TV-Markt im Wandel Bartosz Mazur

Broschur

35.68 €

Královna a divoška Anselm Grün

Broschur

10.00 €

Losungsorientierte Kinesiologie Stefan Strobl

Broschur

13.54 €

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

Broschur

26.79 €

Bordtagebuch Luciano Premoso

Broschur

15.76 €

El llibre de la tardor DD.AA

Hardcover

6.66 €

3 Dani Jensen

Broschur

20.31 €

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

Broschur

20.21 €

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

Broschur

1.20 €

Schmerzdokumentation in Der Praxis Erdmute Pioch

Broschur

35.89 €

sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg

Broschur

42.76 €

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

Broschur

87.15 €

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

Broschur

34.87 €

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