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 2003

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Codul Libristo: 01558642
Editura Springer, Berlin, noiembrie 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Angličtina Slovní hry Gabrielle Smith-Dluha / Carte broșată
common.buy 19 lei
Ptákovina Milan Kundera / Audio CD
common.buy 37 lei
reduceri
Razítka Dinosaurus, felt-tip pens box / Articole de papetărie
common.buy 80 lei
curând
Beyit: Red Dragon (Foiled Journal) Flame Tree / Agendă
common.buy 44 lei
Macanudo 3 Ricardo Liniers / Carte broșată
common.buy 48 lei
Sharing the Work Myra H. Strober / Copertă tare
common.buy 49 lei
Adventures of Tom Sawyer Mark Twain / Carte broșată
common.buy 84 lei
Staat, Nation, Europa Ernst-Wolfgang Böckenförde / Carte broșată
common.buy 92 lei
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Carte broșată
common.buy 215 lei
Eccentric Lives and Peculiar Notions John Michell / Carte broșată
common.buy 84 lei
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Copertă tare
common.buy 242 lei
Engendering the Buddhist State Ashley Thompson / Copertă tare
common.buy 1.116 lei
Perspective in Nuclear Physics Sun-Chan Jeong / Carte broșată
common.buy 696 lei
Shock Dynamics Z. Han / Copertă tare
common.buy 1.728 lei
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Carte broșată
common.buy 197 lei
Bioinorganic Chemistry Robert J. P. Williams / Copertă tare
common.buy 1.900 lei

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Informații despre carte

Titlu complet Formal Techniques for Networked and Distributed Systems - FORTE 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 429
EAN 9783540201755
ISBN 3540201750
Codul Libristo 01558642
Editura Springer, Berlin
Greutatea 626
Dimensiuni 155 x 235 x 23

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