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

FORTE 2001

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Networked and Distributed Systems, 1 yungchul Kim
Codul Libristo: 02254230
Editura Springer, Berlin, iunie 2013
This book presents the latest worldwide results in theory and practice of formal techniques for netw... Descrierea completă
? points 525 b
1 135.28 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Ihre Hingabe Anna Stone / Carte Carte broșată
common.buy 75.33 lei
oroscopo 2024 Paolo Fox / Carte Carte broșată
common.buy 62.75 lei
FERNSTUDIENHEIT 28: Spiele im Deutschunterricht Dorothea Lévy-Hillerich / Carte Carte broșată
common.buy 115.96 lei
L'efficacia del sistema di controllo di sicurezza dell'aeroporto in Namibia Pandeni Kandjabanga Shimweefeleni / Carte Carte broșată
common.buy 271.32 lei
El hierro en la ijada Alonso Crespo / Carte binding.
common.buy 16.41 lei
Le régime consensualiste dans la constitution congolaise du 25 octobre 2015 Makosso / Carte Carte broșată
common.buy 206.26 lei
El Procedimiento Penal En El Fuero Federal (1897) Jose E. Arena / Carte Carte broșată
common.buy 116.59 lei
Top
Královna a divoška Anselm Grün / Carte Carte broșată
common.buy 52.36 lei
deutsche TV-Markt im Wandel Bartosz Mazur / Carte Carte broșată
common.buy 198.26 lei
Losungsorientierte Kinesiologie Stefan Strobl / Carte Carte broșată
common.buy 75.12 lei
Sie waren auch Helden: die Frauen und Mütter Gerhard Kroll / Carte Carte broșată
common.buy 148.49 lei
Bordtagebuch Luciano Premoso / Carte Carte broșată
common.buy 87.59 lei
El llibre de la tardor DD.AA / Carte Copertă tare
common.buy 36.57 lei
3 Dani Jensen / Carte Carte broșată
common.buy 106.19 lei
Jan Van Ruusbroec: de Mystieke Vereniging Met God Paul Mommaers / Carte Carte broșată
common.buy 193.90 lei
Les Pamphlets de la Fin de l'Empire, Des Cent-Jours Et de la Restauration Germond De LaVigne / Carte Carte broșată
common.buy 116.59 lei
Čti+ Co je v poště? neuvedený autor / Carte Carte broșată
common.buy 6.43 lei
sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg / Carte Carte broșată
common.buy 237.13 lei
Schmerzdokumentation in Der Praxis Erdmute Pioch / Carte Carte broșată
common.buy 198.89 lei
Du Pilotage d'Un Parc Patrimonial Immobilier Par Les Risques Franck Taillandier / Carte Carte broșată
common.buy 483.41 lei
Cambio Institucional. La Peninsula de Baja California, S. XVIII-XIX María Elena Nancy Dávila Moreno / Carte Carte broșată
common.buy 193.27 lei

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: §Formal Methods in Software Development, §Process Algebra, §Timed Automata, §Theories and Applications of Verification, §Distributed Systems Testing, §Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. §This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.§Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.

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, 1
Autor yungchul Kim, youngmoon Chin, ungwon Kang, anhyung Lee
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 459
EAN 9781475788259
ISBN 1475788258
Codul Libristo 02254230
Editura Springer, Berlin
Greutatea 724
Dimensiuni 155 x 235 x 24

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

Out of Bounds - Ethnography, History, Music Ingrid Monson / Carte Copertă tare
common.buy 278.70 lei
Trustees of Andover Theological Seminary V. Visitors of the Theological Institution in Phillips Academy in Andover Anonymous / Carte Carte broșată
common.buy 78.76 lei
ZAC BROWN BAND FOUNDATION ESY GTR BK Zac Band Brown / Carte Carte broșată
common.buy 89.36 lei
Two Hands Full of Sunshine (Volume I) Deaton / Carte Copertă tare
common.buy 161.16 lei
Fairy Tales of the Slav Peasants & Herdsmen (1896) Tommy Tenney / Carte Carte broșată
common.buy 184.13 lei
Celestial Discharge and Other Poems Ken Smith / Carte Carte broșată
common.buy 70.76 lei
Alice & Megan Forever Judi Curtin / Carte Carte broșată
common.buy 57.97 lei
Lectures Of Sidney Coleman On Quantum Field Theory: Foreword By David Kaiser Yuan-sen Ting / Carte Carte broșată
common.buy 486.01 lei
12-Bar Blues Dave Rubin / Videoclip DVD
common.buy 112.32 lei
Basic Guitar Adjustments & Set-Ups Hal Leonard Publishing Corporation / Carte Carte broșată
common.buy 33.35 lei
Gold Man Review Issue 5 Heather Cuthbertson / Carte Carte broșată
common.buy 83.12 lei
To My Trans Sisters CRAGGS CHARLIE / Carte Carte broșată
common.buy 95.91 lei
Introduction to JavaScript Object Notation Lindsay Bassett / Carte Carte broșată
common.buy 128.74 lei
Who Was Albert Einstein? Tanya Turner / Carte Carte broșată
common.buy 62.75 lei
Spirits, Graves and Stones: the dance of a child soldier Donna White / Carte Carte broșată
common.buy 96.53 lei
Advances in Turbocharged Racing Engines Alberto Boretti / Carte Carte broșată
common.buy 501.18 lei
Instagram - Visual Social Media Cultures Tama Leaver / Carte Carte broșată
common.buy 158.15 lei
We Should Improve Society Somewhat Matt Bors / Carte Carte broșată
common.buy 126.14 lei
A Hundred Years Ago, A Historical Sketch: 1755 To 1756 (1857) James Hutton / Carte Carte broșată
common.buy 199.51 lei
Art of Nature: Garden Gathering Notebook with Elastic Band Insight Editions / Carte Carte broșată
common.buy 67.12 lei
From Theory to Practice in Private International Law BORG BARTHET JUSTIN / Carte Copertă tare
common.buy 651.96 lei
All Hands on Deck: A Modern-Day High Seas Adventure to the Far Side of the World SOFRIN WILL / Carte Carte broșată
common.buy 77.72 lei
Small Living. Innovative Dwellings for Affordability and Sustainability Friedman / Carte Copertă tare
common.buy 324.83 lei
Billie Eilish Is Life Perricone / Carte Copertă tare
common.buy 87.59 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?