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 Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Applications and Technology Lubos Brim
Codul Libristo: 01568175
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Bourvil Mareska / Carte Carte broșată
common.buy 125.92 lei
Le Sortilège de Stellata Daniela Raimondi / Carte Carte broșată
common.buy 132.37 lei
¿Puedo mirar tu chupete? Guido van Genechten / Carte Copertă tare
common.buy 80.44 lei
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-book Adobe ePub DRM
common.buy 60.46 lei
Rozdělení Československa 1989-1992 Jan Rychlík / Carte Copertă tare
common.buy 123.73 lei
Direkt plus 3B. Podręcznik praca zbiorowa / Carte Carte broșată
common.buy 61.08 lei
Correspondance de Champ Libre T. 1 collegium / Carte Carte broșată
common.buy 78.05 lei
Zápisník s gumičkou A4 210x290 mm africké masky / Carte binding.
common.buy 48.49 lei
Ontologie und Dialektik Theodor W. Adorno / Carte Carte broșată
common.buy 120.09 lei
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Carte Carte broșată
common.buy 149.13 lei
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Carte Carte broșată
common.buy 94.90 lei
Terra magica Ostsee-Kreuzfahrt Christian Prager / Carte Copertă tare
common.buy 103.13 lei
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Carte Copertă tare
common.buy 45.26 lei
Blut und Feuer Michael Gratzke / Carte Carte broșată
common.buy 159.74 lei
Die Filmdeutung als Weg zum Selbst Otto Teischel / Carte Copertă tare
common.buy 316.17 lei
Flussschiffbau Wilhelm Teubert / Carte Carte broșată
common.buy 484.14 lei
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Articole de papetărie Articole de papetărie
common.buy 32.25 lei
In Auschwitz Sima Vaisman / Carte Copertă tare
common.buy 92.93 lei
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Carte Carte broșată
common.buy 404.84 lei
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Carte Carte broșată
common.buy 193.57 lei
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Carte Carte broșată
common.buy 81.27 lei
Plíseň Siri Pettersenová / Carte Copertă tare
common.buy 67.22 lei
Die blinden Flecken der RAF Wolfgang Kraushaar / Carte Copertă tare
common.buy 117.91 lei
Niebla Miguel De Unamuno / Carte Carte broșată
common.buy 76.69 lei

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 366
EAN 9783540709510
ISBN 3540709517
Codul Libristo 01568175
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 575
Dimensiuni 155 x 235 x 22

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Enterprise Architecture Martin Op't Land / Carte Carte broșată
common.buy 318.56 lei
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Carte Copertă tare
common.buy 7 160.32 lei
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Carte Copertă tare
common.buy 83.87 lei
World of Sources II Michael J Hillyard / Carte Carte broșată
common.buy 87.72 lei
How to Have a Stress Free Mortgage Linda Fleischmann / Carte Carte broșată
common.buy 59.21 lei
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Carte Carte broșată
common.buy 569.38 lei
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Carte Carte broșată
common.buy 167.76 lei
Advertising and Race Linda C. L. Fu / Carte Carte broșată
common.buy 259.24 lei
International Abstracts of Surgery, Volume 27 Anonymous / Carte Copertă tare
common.buy 220.63 lei
Guilford Guilford Keeping Society / Carte Carte broșată
common.buy 109.48 lei
Competing Visions of India in World Politics K. Sullivan / Carte Carte broșată
common.buy 535.97 lei
Glitch Laura Martin / Carte Carte broșată
common.buy 47.03 lei
Greening the Grey William D. Dar / Carte Carte broșată
common.buy 101.46 lei
International Comparisons of Energy Consumption Joy Dunkerley / Carte Carte broșată
common.buy 309.09 lei
Nature and Essence of Economic Theory Joseph A. Schumpeter / Carte Carte broșată
common.buy 349.37 lei
Quiet Desperation, Savage Delight: Sheltering with Thoreau in the Age of Crisis David Gessner / Carte Carte broșată
common.buy 87.72 lei
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Carte Carte broșată
common.buy 131.96 lei
Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder / Carte Carte broșată
common.buy 70.66 lei
Four Sons Of Norway Helen Acker / Carte Carte broșată
common.buy 158.39 lei
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Carte Carte broșată
common.buy 63.27 lei
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Carte Carte broșată
common.buy 352.59 lei
Madison Lexy Timms / Carte Carte broșată
common.buy 57.02 lei
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Carte Carte broșată
common.buy 101.67 lei
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Carte Carte broșată
common.buy 210.43 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?