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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

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 132 b
284.66 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Materiale tipărite Hartă
common.buy 272.73 lei
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 157.11 lei
L'Arc de triomphe de l'Étoile Dominique Fernandes / Carte Carte broșată
common.buy 65.27 lei
Course à pied. S’entrainer à la sensation Billat / Carte Carte broșată
common.buy 131.17 lei
Pociąg do Imperium Maja Wolny / Carte Carte broșată
common.buy 66.10 lei
Communiquer et jouer par signes avec mon enfant Gilles Cotte / Carte Carte broșată
common.buy 113.01 lei
Le sacre des impies Ghislain Gilberti / Carte Carte broșată
common.buy 149.75 lei
Vorlesungen über neuere Geometrie Moritz Pasch / Carte Carte broșată
common.buy 89.24 lei
JE SUIS GROSSE KONIG MARINA / Carte Carte broșată
common.buy 119.75 lei
Passeggiata col cane Sven Nordqvist / Carte Copertă tare
common.buy 180.47 lei
Legge, soggetto ed eredità. Lezioni veronesi di psicoanalisi Massimo Recalcati / Carte Carte broșată
common.buy 122.14 lei
Narozena pod toulavou hvězdou Zuzana Kulhánková / Carte Copertă tare
common.buy 37.35 lei
Realita vesmíru Jan Blažej / Carte Carte broșată
common.buy 28.12 lei
100 Tipps für besseres Tauchen Thilo Künneth / Carte Carte broșată
common.buy 53.85 lei
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Carte Carte broșată
common.buy 89.45 lei
Anlagenrecht Martin Kind / Carte Carte broșată
common.buy 202.47 lei
Ewalds Mathespielwiese Ewald Gronewold / Carte Carte broșată
common.buy 113.84 lei
Die sterbliche Seele der Freiheit Marco Buschmann / Carte Copertă tare
common.buy 160.33 lei
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Carte Copertă tare
common.buy 1 310.76 lei
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Carte Carte broșată
common.buy 276.67 lei
La serpiente emplumada D. H. Lawrence / Carte Carte broșată
common.buy 182.44 lei
Armin Heinrich Hofmann / Carte Carte broșată
common.buy 64.85 lei
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Carte Carte broșată
common.buy 70.87 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.

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

Ar putea de asemenea, să te intereseze

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Carte Copertă tare
common.buy 567.78 lei
Image Processing, Analysis and Machine Vision Milan Sonka / Carte Carte broșată
common.buy 567.78 lei
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Carte Carte broșată
common.buy 69.84 lei
Last Chance to See Douglas Adams / Carte Carte broșată
common.buy 79.49 lei
Surfing on the Internet J. C. Herz / Carte Carte broșată
common.buy 103.77 lei
Practical Portfolio Performance Measurement and At tribution, 3rd Edition Carl R. Bacon / Carte Copertă tare
common.buy 510.70 lei
Goddess Planner - Undated Weekly, Monthly 8x 10 with Moon Journal, To-Do Lists, Self-Care and Habit Tracker Sze Wing Vetault / Carte Copertă tare
common.buy 235.16 lei
Kintsugi Wellness Candice Kumai / Carte Copertă tare
common.buy 128.78 lei
Transitions from Care to Independence DRISCOLL / Carte Copertă tare
common.buy 1 316.16 lei
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Carte Copertă tare
common.buy 132.73 lei
Dean's Demise Richard Fletcher / Carte Carte broșată
common.buy 116.23 lei
K9 Explosive and Mine Detection Resi Gerritsen / Carte Carte broșată
common.buy 164.90 lei
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Carte Carte broșată
common.buy 71.70 lei
Catalogue of the Technical Reference Library of works on printing and the allied arts / Carte Copertă tare
common.buy 278.13 lei
Where Are the Donuts? ROGER ELLSWORTH / Carte Carte broșată
common.buy 59.25 lei
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 104.60 lei
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Carte Carte broșată
common.buy 156.08 lei
Egg Art Katya Trischuk / Carte Carte broșată
common.buy 60.08 lei
Complex Dimensions Brenda Murphy / Carte Carte broșată
common.buy 71.50 lei
Lloyd George: The Man And His Story Frank Dilnot / Carte Copertă tare
common.buy 220.01 lei
Curând
Egon Schiele Jane Kallir / Carte Copertă tare
common.buy 147.36 lei
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Carte Copertă tare
common.buy 472.61 lei
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive Mishka Clavijo Kimball / Carte Carte broșată
common.buy 63.09 lei
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Carte Carte broșată
common.buy 598.92 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?