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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,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.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Bourvil Mareska / Boek Gebonden (paperback)
common.buy 23.99 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Boek Gebonden (harde band)
common.buy 8.19 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Boek Gebonden (harde band)
common.buy 20.85 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Boek Gebonden (paperback)
common.buy 17.11 €
Correspondance de Champ Libre T. 1 collegium / Boek Gebonden (paperback)
common.buy 14.88 €
Direkt plus 3B. Podręcznik praca zbiorowa / Boek Gebonden (paperback)
common.buy 11.64 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Boek Gebonden (paperback)
common.buy 26.93 €
Rozdělení Československa 1989-1992 Jan Rychlík / Boek Gebonden (harde band)
common.buy 23.59 €
Flussschiffbau Wilhelm Teubert / Boek Gebonden (paperback)
common.buy 87.30 €
Ontologie und Dialektik Theodor W. Adorno / Boek Gebonden (paperback)
common.buy 19.74 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-book Adobe ePub DRM
common.buy 11.54 €
¿Puedo mirar tu chupete? Guido van Genechten / Boek Gebonden (harde band)
common.buy 15.39 €
Zápisník s gumičkou A4 210x290 mm africké masky / Boek binding.
common.buy 9.31 €
Blut und Feuer Michael Gratzke / Boek Gebonden (paperback)
common.buy 32.10 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Boek Gebonden (harde band)
common.buy 57.01 €
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Schrijfwaren Schrijfwaren
common.buy 5.86 €
In Auschwitz Sima Vaisman / Boek Gebonden (harde band)
common.buy 18.73 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Boek Gebonden (paperback)
common.buy 34.93 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Boek Gebonden (paperback)
common.buy 73.01 €
Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle / Boek Gebonden (harde band)
common.buy 41.62 €
Niebla Miguel De Unamuno / Boek Gebonden (paperback)
common.buy 13.97 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Boek Gebonden (paperback)
common.buy 15.49 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Boek Gebonden (harde band)
common.buy 21.16 €

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.62 €
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 434.86 €
International Comparisons of Energy Consumption Joy Dunkerley / Boek Gebonden (paperback)
common.buy 59.04 €
Principles of Protein-Protein Association Harold Erickson / Boek Gebonden (harde band)
common.buy 166.80 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Boek Gebonden (paperback)
common.buy 38.27 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Boek Gebonden (paperback)
common.buy 18.42 €
Madison Lexy Timms / Boek Gebonden (paperback)
common.buy 10.32 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Boek Gebonden (paperback)
common.buy 70.69 €
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.65 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Boek Gebonden (paperback)
common.buy 23.79 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Boek Gebonden (paperback)
common.buy 63.90 €
How to Draw: Easy Techniques and Step-By-Step Drawings for Kids Aaria Baid / Boek Gebonden (paperback)
common.buy 11.33 €
Competing Visions of India in World Politics K. Sullivan / Boek Gebonden (paperback)
common.buy 107.45 €
International Abstracts of Surgery, Volume 27 Anonymous / Boek Gebonden (harde band)
common.buy 40.20 €
Advertising and Race Linda C. L. Fu / Boek Gebonden (paperback)
common.buy 46.99 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Boek Gebonden (paperback)
common.buy 30.27 €
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Boek Gebonden (paperback)
common.buy 103.10 €
God Spoken Wisdom to Heal Our Souls Rick Kent / Boek Gebonden (paperback)
common.buy 13.06 €
Guilford Guilford Keeping Society / Boek Gebonden (paperback)
common.buy 22.17 €
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.33 €
Equipoise: Insights Into Foundational Astral Training Julian Rees / Boek Gebonden (paperback)
common.buy 13.06 €
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Boek Gebonden (paperback)
common.buy 11.33 €
Four Sons Of Norway Helen Acker / Boek Gebonden (paperback)
common.buy 28.86 €
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Boek Gebonden (harde band)
common.buy 15.08 €

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?