Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 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

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods: Applications and Technology Lubos Brim
Codice Libristo: 01568175
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Bourvil Mareska / Libro In brossura
common.buy 24.79 €
Le Sortilège de Stellata Daniela Raimondi / Libro In brossura
common.buy 25.99 €
¿Puedo mirar tu chupete? Guido van Genechten / Libro Rigido
common.buy 14.29 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / Libro elettronico Adobe ePub DRM
common.buy 11.99 €
Rozdělení Československa 1989-1992 Jan Rychlík / Libro Rigido
common.buy 24.69 €
Direkt plus 3B. Podręcznik praca zbiorowa / Libro In brossura
common.buy 12.09 €
Correspondance de Champ Libre T. 1 collegium / Libro In brossura
common.buy 15.39 €
Zápisník s gumičkou A4 210x290 mm africké masky / Libro binding.
common.buy 9.69 €
Ontologie und Dialektik Theodor W. Adorno / Libro In brossura
common.buy 23.79 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Libro In brossura
common.buy 28.09 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Libro In brossura
common.buy 17.89 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Libro Rigido
common.buy 20.59 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Libro Rigido
common.buy 8.49 €
Blut und Feuer Michael Gratzke / Libro In brossura
common.buy 31.69 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Libro Rigido
common.buy 59.59 €
Flussschiffbau Wilhelm Teubert / Libro In brossura
common.buy 91.29 €
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Articoli di cancelleria Articoli di cancelleria
common.buy 6.09 €
In Auschwitz Sima Vaisman / Libro Rigido
common.buy 18.49 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Libro In brossura
common.buy 76.29 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Libro In brossura
common.buy 36.49 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Libro In brossura
common.buy 15.29 €
Plíseň Siri Pettersenová / Libro Rigido
common.buy 12.69 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Libro Rigido
common.buy 22.19 €
Niebla Miguel De Unamuno / Libro In brossura
common.buy 14.49 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods: Applications and Technology
Autore Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2007
Numero di pagine 366
EAN 9783540709510
ISBN 3540709517
Codice Libristo 01568175
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 575
Dimensioni 155 x 235 x 22

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Enterprise Architecture Martin Op't Land / Libro In brossura
common.buy 60.09 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Libro Rigido
common.buy 1 416.69 €
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Libro Rigido
common.buy 15.79 €
World of Sources II Michael J Hillyard / Libro In brossura
common.buy 16.49 €
How to Have a Stress Free Mortgage Linda Fleischmann / Libro In brossura
common.buy 11.19 €
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Libro In brossura
common.buy 107.29 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Libro In brossura
common.buy 31.59 €
Advertising and Race Linda C. L. Fu / Libro In brossura
common.buy 48.89 €
International Abstracts of Surgery, Volume 27 Anonymous / Libro Rigido
common.buy 41.59 €
Guilford Guilford Keeping Society / Libro In brossura
common.buy 20.59 €
Competing Visions of India in World Politics K. Sullivan / Libro In brossura
common.buy 106.09 €
Glitch Laura Martin / Libro In brossura
common.buy 8.89 €
Greening the Grey William D. Dar / Libro In brossura
common.buy 19.09 €
International Comparisons of Energy Consumption Joy Dunkerley / Libro In brossura
common.buy 58.29 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Libro In brossura
common.buy 65.89 €
Quiet Desperation, Savage Delight: Sheltering with Thoreau in the Age of Crisis David Gessner / Libro In brossura
common.buy 16.49 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Libro In brossura
common.buy 24.89 €
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 / Libro In brossura
common.buy 13.29 €
Four Sons Of Norway Helen Acker / Libro In brossura
common.buy 29.89 €
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Libro In brossura
common.buy 11.89 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Libro In brossura
common.buy 73.09 €
Madison Lexy Timms / Libro In brossura
common.buy 10.69 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Libro In brossura
common.buy 19.19 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Libro In brossura
common.buy 39.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?