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 2002

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
Codul Libristo: 01555972
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Descrierea completă
? points 160 b
316 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Egon Schiele Jane Kallir / Copertă tare
common.buy 142 lei
Teleportation Accident Ned Beauman / Carte broșată
common.buy 58 lei
Narozena pod toulavou hvězdou Zuzana Kulhánková / Copertă tare
common.buy 34 lei
Realita vesmíru Jan Blažej / Carte broșată
common.buy 26 lei
Celostný obraz sveta Ignác Prno / Carte broșată
common.buy 29 lei
K9 Explosive and Mine Detection Resi Gerritsen / Carte broșată
common.buy 297 lei
Ewalds Mathespielwiese Ewald Gronewold / Carte broșată
common.buy 115 lei
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Copertă tare
common.buy 417 lei
Das große Buch vom Club Christoph Bausenwein / Copertă tare
common.buy 97 lei
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Carte broșată
common.buy 624 lei
Anlagenrecht Martin Kind / Carte broșată
common.buy 193 lei

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Informații despre carte

Titlu complet Formal Techniques for Networked and Distributed Systems - FORTE 2002
Autor Doron A. Peled, Moshe Y. Vardi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 374
EAN 9783540001416
ISBN 3540001417
Codul Libristo 01555972
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1200
Dimensiuni 155 x 235 x 21

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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