Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing an

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Distributed System Development Tommaso Bolognesi
Codul Libristo: 02181631
Editura Springer, Berlin, februarie 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Descrierea completă
? points 525 b
1 137.25 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Memorie dai sottosuoli. Sulla memoria di alcune catastrofi Giuseppina Spadafora / Carte Copertă tare
common.buy 89.30 lei
Dream Teams Wolf W. Lasko / Carte Carte broșată
common.buy 298.75 lei
Against Modern Football: Modelli da seguire e storie mai raccontate Marco Bellinazzo / Carte Carte broșată
common.buy 80.67 lei
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Carte Carte broșată
common.buy 237.54 lei
Kugelschreiber metallic silber Joc / Jucărie Jucărie
common.buy 47.25 lei
Leftin
Pět elementů Frank Seefelder / Carte Carte broșată
common.buy 46.83 lei
INFLUENCER DE LUXO ANDRESSA ANDRADE / Carte Carte broșată
common.buy 162.80 lei
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Carte Carte broșată
common.buy 168.42 lei
Ma vie avec Marcel Proust Cusset / Carte Carte broșată
common.buy 113.98 lei
leopardo che mangiava gli uomini Jim Corbett / Carte Carte
common.buy 117.52 lei
Objevujeme svět hrou! Zoo Nathalie Choux / Carte Cărți pliante
common.buy 60.89 lei
Hon na maminho zajačika Kristína Pavelková / Carte Copertă tare
common.buy 27.99 lei
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Carte Carte broșată
common.buy 312.59 lei
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Carte Carte broșată
common.buy 336.43 lei
Sodoma Martel Frédéric / Carte Carte broșată
common.buy 56.83 lei
Alpi 2005-2018 Burani / Carte Carte broșată
common.buy 86.91 lei
Die Abnahme Des Gemeinschaftseigentums Im Rahmen Von Bautraegervertraegen Viviane McCready / Carte Copertă tare
common.buy 380.26 lei
Athenais Ferdinand Gregorovius / Carte Carte broșată
common.buy 128.97 lei
Recits de Suisse Et d'Italie DE GERES-J / Carte Carte broșată
common.buy 116.79 lei
Top
De la cuna a la luna ANTONIO RUBIO / Carte Copertă tare
common.buy 53.49 lei
1966-1970 / Carte Carte broșată
common.buy 139.17 lei
Restrukturierung und Personalabbau als Wege aus der Globalisierungsfalle? Christian Heinrich / Carte Carte broșată
common.buy 204.85 lei
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Carte Copertă tare
common.buy 75.46 lei

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. The early, pioneering phases in the development of Formal Methods, with their conflicts between evangelistic and skeptical attitudes, are essentially over. Many Fms have reached maturity, and a number of papers in this book report on successful experiences in specifying and verifying real distributed systems and protocols. The main topics covered are: §model checking theory and applications; §verification and theorem proving; §testing theory and applications; §multicast protocol analysis and simulation; §hardware specification, implementation, and testing; §FMs for security. Pds. /LIST Pds. §Formal Methods for Distributed System Development compiles the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX), which was sponsored by the International Federation for Information Processing (IFIP) and held in Pisa, Italy, in October 2000.§This volume is suitable as a secondary text for graduate-level courses on software engineering, distributed systems, and communications, and as a reference both for researchers and for industry practitioners.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods for Distributed System Development
Autor Tommaso Bolognesi, Diego Latella
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 412
EAN 9781475752649
ISBN 1475752644
Codul Libristo 02181631
Editura Springer, Berlin
Greutatea 652
Dimensiuni 155 x 235 x 22

Categorii

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Ar putea de asemenea, să te intereseze

Teddy's Journal Stan Abshier / Carte Carte broșată
common.buy 164.78 lei
Curând
Pollen Street Jason Atherton / Carte Copertă tare
common.buy 1 460.89 lei
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Carte Carte broșată
common.buy 71.50 lei
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Carte Carte broșată
common.buy 66.92 lei
Sexhibitionists Garrett Yankou / Carte Carte broșată
common.buy 106.38 lei
Conchologia cestrica William Dell Hartman / Carte Carte broșată
common.buy 84.72 lei
Life Doesn't Frighten Me (Twenty-fifth Anniversary Edition) Maya Angelou / Carte Copertă tare
common.buy 96.28 lei
Comfort Zone KENNETH A. LUIKART / Carte Carte broșată
common.buy 119.70 lei
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Carte Carte broșată
common.buy 178.41 lei
The First Soul W J Cherf / Carte Carte broșată
common.buy 106.38 lei
The Canadian Brass: 17 Collected Easy Quintets, Conductor's Score Canadian Brass / Carte Carte broșată
common.buy 96.90 lei
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Carte Copertă tare
common.buy 139.17 lei
Tree Girl T. A. Barron / Carte Carte broșată
common.buy 49.02 lei
The Burglar in the Closet Lawrence Block / Carte Carte broșată
common.buy 50.89 lei
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Carte Carte broșată
common.buy 262.94 lei
Care of Dependents of Enlisted Men in Canada S Herbert 1874-1927 Wolfe / Carte Copertă tare
common.buy 163.63 lei
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Carte Carte broșată
common.buy 285.32 lei
My First Day At Camp Ellen Weiss / Carte Carte broșată
common.buy 46.83 lei
Afsaneh Vera Ansén / Carte Carte broșată
common.buy 65.26 lei
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Carte Carte broșată
common.buy 66.92 lei
Despite Ceausescu Frances Tyler / Carte Carte broșată
common.buy 108.35 lei
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Carte Carte broșată
common.buy 101.28 lei
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Carte Carte broșată
common.buy 94.93 lei
Great Adventures / Carte Copertă tare
common.buy 301.77 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?