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 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 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 132 b
285.10 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kinderfl chtlinge Petra Dieckhoff / Carte Carte broșată
common.buy 252.56 lei
Die 24 Elemente der Magie Danielle Weidig / Carte Carte broșată
common.buy 89.79 lei
BABADADA black-and-white, Srbija (Latinski pisanje) - slovenčina, slikovni rečnik - obrazkovy slovnik Babadada Gmbh / Carte Carte broșată
common.buy 37.20 lei
Základy společenských věd pro SOŠ - Pracovní sešit / Carte Carte broșată
common.buy 56.22 lei
Die Magd des Gutsherrn Elisabeth Büchle / Carte Carte broșată
common.buy 73.16 lei
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Carte Carte broșată
common.buy 122.53 lei
Ptákovina Milan Kundera / Audio Audio CD
common.buy 45.41 lei
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Carte Copertă tare
common.buy 204.13 lei
El cardenal Manning : una biografía intelectual James Pereiro / Carte Carte broșată
common.buy 92.39 lei
Andorra : 17 excursions a peu MANEL FIGUERA / Carte Carte broșată
common.buy 71.19 lei
Macanudo 3 Ricardo Liniers / Carte Carte broșată
common.buy 51.02 lei
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Joc / Jucărie Joc
common.buy 54.97 lei
Manuale della guardia del corpo Gérard Desmaretz / Carte Carte broșată
common.buy 159.95 lei
LEY DEL PROCEDIMIENTO ADMINISTRATIVO COMÚN DE LAS ADMINISTRACIONES PÚBLICAS 2019 Editorial Tecnos / Carte Carte broșată
common.buy 61.00 lei
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Carte Carte broșată
common.buy 101.12 lei
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Carte Carte broșată
common.buy 340.91 lei
Top
Razítka Dinosaurus, felt-tip pens box / Articole de papetărie Articole de papetărie
common.buy 111.73 lei
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Carte Carte broșată
common.buy 163.38 lei
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Carte Copertă tare
common.buy 250.59 lei
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Carte Carte broșată
common.buy 99.77 lei
Top
Herzzeit; Briefwechsel Ingeborg Bachmann / Carte Carte broșată
common.buy 66.41 lei
Rýchle fakty: Reumatoidná artritída autorov Kolektív / Carte Carte broșată
common.buy 124.92 lei
Initiation à la chiromancie Webster / Carte Carte
common.buy 98.21 lei
Staat, Nation, Europa Ernst-Wolfgang Böckenförde / Carte Carte broșată
common.buy 94.37 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.

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

Ar putea de asemenea, să te intereseze

Perspective in Nuclear Physics Sun-Chan Jeong / Carte Carte broșată
common.buy 730.06 lei
How We Lived in Wellborn before Television Glenn D Davis / Carte Carte broșată
common.buy 81.37 lei
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Carte Copertă tare
common.buy 1 030.03 lei
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Carte Carte broșată
common.buy 96.34 lei
Stephen Mccranie's Space Boy Volume 2 Stephen McCranie / Carte Carte broșată
common.buy 71.81 lei
Written World Martin Puchner / Carte Carte broșată
common.buy 90.21 lei
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Carte Carte broșată
common.buy 127.21 lei
Early Childhood and Development Work Anne-Trine Kj?rholt / Carte Copertă tare
common.buy 761.45 lei
Fighting for the Chief's Agreement Bethany Dayna / Carte Carte broșată
common.buy 46.35 lei
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Carte Carte broșată
common.buy 41.98 lei
Advantages and Surroundings of New Albany David Peter Robbins / Carte Carte broșată
common.buy 69.94 lei
Top
Fashion Patternmaking Techniques for Accessories: Shoes, Bags, Hats, Gloves, Ties, Buttons and Dog Clothing Antonio Donnanno / Carte Carte broșată
common.buy 176.79 lei
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Carte Carte broșată
common.buy 94.99 lei
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Carte Carte broșată
common.buy 80.34 lei
My Birthday Pony Lola May Groves / Carte Carte broșată
common.buy 127.73 lei
Famous Pianists of Today and Yesterday Henry C. Lahee / Carte Carte broșată
common.buy 133.34 lei
Eccentric Lives and Peculiar Notions John Michell / Carte Carte broșată
common.buy 76.80 lei
Canton Gay Morgan Moore / Carte Carte broșată
common.buy 109.13 lei
Theory of the Solitary Sailor Grelet / Carte Carte broșată
common.buy 77.01 lei
The Unstoppable Dogs Lauren Krame-Theuerkauf / Carte Copertă tare
common.buy 111.41 lei
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Carte Copertă tare
common.buy 79.61 lei
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Carte Copertă tare
common.buy 173.57 lei
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Carte Carte broșată
common.buy 87.82 lei
Where Do We Go from Here? Victoria Adams / E-book Adobe ePub DRM
common.buy 103.41 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?