Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods: Applications and Technology Lubos Brim
Libristo-code: 01568175
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februari 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bourvil Mareska / Boek Gebonden (paperback)
common.buy 24.07 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-book Adobe ePub DRM
common.buy 11.52 €
Correspondance de Champ Libre T. 1 collegium / Boek Gebonden (paperback)
common.buy 14.86 €
Le Sortilège de Stellata Daniela Raimondi / Boek Gebonden (paperback)
common.buy 25.28 €
Zrozeni k chůzi James Earls / Boek Gebonden (harde band)
common.buy 7.58 €
Direkt plus 3B. Podręcznik praca zbiorowa / Boek Gebonden (paperback)
common.buy 11.62 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Boek Gebonden (harde band)
common.buy 19.72 €
Rozdělení Československa 1989-1992 Jan Rychlík / Boek Gebonden (harde band)
common.buy 23.56 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Boek Gebonden (paperback)
common.buy 17.09 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Boek Gebonden (paperback)
common.buy 26.90 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Boek Gebonden (harde band)
common.buy 56.94 €
¿Puedo mirar tu chupete? Guido van Genechten / Boek Gebonden (harde band)
common.buy 15.67 €
Ontologie und Dialektik Theodor W. Adorno / Boek Gebonden (paperback)
common.buy 22.85 €
Kartographie Florian Dünckmann / Boek Gebonden (paperback)
common.buy 36.61 €
Zápisník s gumičkou A4 210x290 mm africké masky / Boek binding.
common.buy 9.30 €
Abhandlungen aus der Griechischen Geschichte. Max Duncker / Boek Gebonden (paperback)
common.buy 47.13 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Boek Gebonden (harde band)
common.buy 21.13 €
Niebla Miguel De Unamuno / Boek Gebonden (paperback)
common.buy 13.95 €
Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle / Boek Gebonden (harde band)
common.buy 39.85 €
Plíseň Siri Pettersenová / Boek Gebonden (harde band)
common.buy 12.03 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Boek Gebonden (paperback)
common.buy 15.47 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Boek Gebonden (paperback)
common.buy 72.92 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Boek Gebonden (harde band)
common.buy 8.18 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Boek Gebonden (paperback)
common.buy 34.89 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods: Applications and Technology
Auteur Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 366
EAN 9783540709510
ISBN 3540709517
Libristo-code 01568175
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 575
Afmetingen 155 x 235 x 22

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Enterprise Architecture Martin Op't Land / Boek Gebonden (paperback)
common.buy 57.55 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Boek Gebonden (harde band)
common.buy 1 365.51 €
God Spoken Wisdom to Heal Our Souls Rick Kent / Boek Gebonden (paperback)
common.buy 13.04 €
ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg / Boek Gebonden (paperback)
common.buy 19.31 €
Principles of Protein-Protein Association Harold Erickson / Boek Gebonden (harde band)
common.buy 166.60 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Boek Gebonden (paperback)
common.buy 38.23 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Boek Gebonden (paperback)
common.buy 18.40 €
Madison Lexy Timms / Boek Gebonden (paperback)
common.buy 10.31 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Boek Gebonden (paperback)
common.buy 70.60 €
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 / Boek Gebonden (paperback)
common.buy 12.63 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Boek Gebonden (paperback)
common.buy 23.76 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Boek Gebonden (paperback)
common.buy 63.82 €
International Comparisons of Energy Consumption Joy Dunkerley / Boek Gebonden (paperback)
common.buy 56.13 €
Competing Visions of India in World Politics K. Sullivan / Boek Gebonden (paperback)
common.buy 102.26 €
Guilford Guilford Keeping Society / Boek Gebonden (paperback)
common.buy 20.83 €
International Abstracts of Surgery, Volume 27 Anonymous / Boek Gebonden (harde band)
common.buy 40.15 €
Advertising and Race Linda C. L. Fu / Boek Gebonden (paperback)
common.buy 46.93 €
Fall Vukobrankovics Ernst Weiss / Boek Gebonden (harde band)
common.buy 20.52 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Boek Gebonden (paperback)
common.buy 30.24 €
This Side of Paradise - Easy English Story for Beginners (Level A1/A2) Grzegorz Michalski / Boek Gebonden (paperback)
common.buy 7.68 €
TOP Wordt verwacht Nieuw
My Status as an Assassin Obviously Exceeds the Hero's (Manga) Vol. 7 Hiroyuki Aigamo / Boek Gebonden (paperback)
common.buy 11.32 €
The Proceedings of the 19th Annual Conference of China Electrotechnical Society Qingxin Yang / Boek Gebonden (harde band)
common.buy 390.56 €
TOP
Memorials Richard Chizmar / Boek Gebonden (paperback)
common.buy 15.77 €
Can AI Change the Future? Olivia Watson / Boek Gebonden (harde band)
common.buy 10.81 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?