phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Techniques for Networked and Distributed Systems - FORTE 2004

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Libristo kód: 01559882
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Brožovaná
common.buy 389 Kč
Permanent Sovereignty over Natural Resources Marc Bungenberg / Brožovaná
common.buy 2 726 Kč
Huckleberry Finn Jens Hoffmann / Pevná
common.buy 745 Kč
Die Lehrerschelte Gustav Keller / Brožovaná
common.buy 727 Kč
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Pevná
common.buy 1 225 Kč
Romance of Private Life Clark / Brožovaná
common.buy 1 565 Kč
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Brožovaná
common.buy 491 Kč
Alexander-Technik für Musiker Pedro Del Alcantara / Brožovaná
common.buy 769 Kč
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Pevná
common.buy 3 749 Kč
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Brožovaná
common.buy 3 675 Kč
Was kreucht und fleucht in Hamburg? Thomas Schmidt / Brožovaná
common.buy 412 Kč

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

Informace o knize

Plný název Formal Techniques for Networked and Distributed Systems - FORTE 2004
Autor David de Frutos-Escrig, Manuel Nunez
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 382
EAN 9783540232520
ISBN 3540232524
Libristo kód 01559882
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1210
Rozměry 155 x 235 x 22

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet