phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Techniques for Networked and Distributed Systems - FORTE 2004

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Codul Libristo: 01559882
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Carte broșată
common.buy 78 lei
Permanent Sovereignty over Natural Resources Marc Bungenberg / Carte broșată
common.buy 549 lei
Huckleberry Finn Jens Hoffmann / Copertă tare
common.buy 159 lei
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Carte broșată
common.buy 103 lei
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Carte broșată
common.buy 776 lei
Romance of Private Life Clark / Carte broșată
common.buy 300 lei
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Copertă tare
common.buy 258 lei
Die Lehrerschelte Gustav Keller / Carte broșată
common.buy 146 lei
Alexander-Technik für Musiker Pedro Del Alcantara / Carte broșată
common.buy 155 lei
Was kreucht und fleucht in Hamburg? Thomas Schmidt / Carte broșată
common.buy 83 lei
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Copertă tare
common.buy 790 lei

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.

Informații despre carte

Titlu complet Formal Techniques for Networked and Distributed Systems - FORTE 2004
Autor David de Frutos-Escrig, Manuel Nunez
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 382
EAN 9783540232520
ISBN 3540232524
Codul Libristo 01559882
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1210
Dimensiuni 155 x 235 x 22

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo