Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods: Applications and Technology Lubos Brim
Koda Libristo: 01568175
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februar 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Celoten opis
? points 118 b
48.71 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Bourvil Mareska / Knjiga Mehka
common.buy 21.88 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-knjiga Adobe ePub DRM
common.buy 10.38 €
Correspondance de Champ Libre T. 1 collegium / Knjiga Mehka
common.buy 13.61 €
Le Sortilège de Stellata Daniela Raimondi / Knjiga Mehka
common.buy 23.09 €
Zrozeni k chůzi James Earls / Knjiga Trda
common.buy 6.75 €
Direkt plus 3B. Podręcznik praca zbiorowa / Knjiga Mehka
common.buy 10.58 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Knjiga Trda
common.buy 17.44 €
Rozdělení Československa 1989-1992 Jan Rychlík / Knjiga Trda
common.buy 20.87 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Knjiga Mehka
common.buy 16.03 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Knjiga Mehka
common.buy 25.21 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Knjiga Trda
common.buy 53.45 €
¿Puedo mirar tu chupete? Guido van Genechten / Knjiga Trda
common.buy 14.11 €
Ontologie und Dialektik Theodor W. Adorno / Knjiga Mehka
common.buy 20.47 €
Kartographie Florian Dünckmann / Knjiga Mehka
common.buy 34.38 €
Zápisník s gumičkou A4 210x290 mm africké masky / Knjiga binding.
common.buy 8.16 €
Abhandlungen aus der Griechischen Geschichte. Max Duncker / Knjiga Mehka
common.buy 44.37 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Knjiga Trda
common.buy 19.76 €
Niebla Miguel De Unamuno / Knjiga Mehka
common.buy 13.20 €
Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle / Knjiga Trda
common.buy 36.10 €
Plíseň Siri Pettersenová / Knjiga Trda
common.buy 11.29 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Knjiga Mehka
common.buy 14.01 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Knjiga Mehka
common.buy 68.48 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Knjiga Trda
common.buy 7.66 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Knjiga Mehka
common.buy 32.67 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods: Applications and Technology
Avtor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2007
Število strani 366
EAN 9783540709510
ISBN 3540709517
Koda Libristo 01568175
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 575
Mere 155 x 235 x 22

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Enterprise Architecture Martin Op't Land / Knjiga Mehka
common.buy 54.15 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Knjiga Trda
common.buy 1 226.72 €
God Spoken Wisdom to Heal Our Souls Rick Kent / Knjiga Mehka
common.buy 12.30 €
ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg / Knjiga Mehka
common.buy 18.25 €
Principles of Protein-Protein Association Harold Erickson / Knjiga Trda
common.buy 158.65 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Knjiga Mehka
common.buy 36.30 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Knjiga Mehka
common.buy 17.44 €
Madison Lexy Timms / Knjiga Mehka
common.buy 9.77 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Knjiga Mehka
common.buy 67.07 €
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 / Knjiga Mehka
common.buy 11.79 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Knjiga Mehka
common.buy 22.18 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Knjiga Mehka
common.buy 60.81 €
International Comparisons of Energy Consumption Joy Dunkerley / Knjiga Mehka
common.buy 53.15 €
Competing Visions of India in World Politics K. Sullivan / Knjiga Mehka
common.buy 91.88 €
Guilford Guilford Keeping Society / Knjiga Mehka
common.buy 18.25 €
International Abstracts of Surgery, Volume 27 Anonymous / Knjiga Trda
common.buy 38.12 €
Advertising and Race Linda C. L. Fu / Knjiga Mehka
common.buy 44.37 €
Fall Vukobrankovics Ernst Weiss / Knjiga Trda
common.buy 19.26 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Knjiga Mehka
common.buy 28.53 €
This Side of Paradise - Easy English Story for Beginners (Level A1/A2) Grzegorz Michalski / Knjiga Mehka
common.buy 7.25 €
Top Kmalu Novo
My Status as an Assassin Obviously Exceeds the Hero's (Manga) Vol. 7 Hiroyuki Aigamo / Knjiga Mehka
common.buy 10.58 €
The Proceedings of the 19th Annual Conference of China Electrotechnical Society Qingxin Yang / Knjiga Trda
common.buy 368.35 €
Top
Memorials Richard Chizmar / Knjiga Mehka
common.buy 14.82 €
Can AI Change the Future? Olivia Watson / Knjiga Trda
common.buy 11.29 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?