Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 53.79 EUR
Availability: InStock
Author: Lubos Brim
ISBN: 9783540709510

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

Inglese

Libro In brossura

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

Codice Libristo: 01568175

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

In brossura

21.49 €

Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1983

In brossura

3.29 €

¿Puedo mirar tu chupete? Guido van Genechten

Rigido

14.59 €

Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman

In brossura

14.49 €

Johann Hinrich Wichern Hermann Petrich

In brossura

18.79 €

Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade

Rigido

8.49 €

Ontologie und Dialektik Theodor W. Adorno

In brossura

20.69 €

Abhandlungen aus der Griechischen Geschichte. Max Duncker

In brossura

58.99 €

SOS meteoros EDGAR P. JACOBS

In brossura

17.09 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

In brossura

76.29 €

Rozdělení Československa 1989-1992 Jan Rychlík

Rigido

24.69 €

Zrozeni k chůzi James Earls

Rigido

7.69 €

Plíseň Siri Pettersenová

Rigido

12.69 €

Felek i Tola i urodziny Henia Sylvia Vanden Heede

Rigido

6.69 €

Die blinden Flecken der RAF Wolfgang Kraushaar

Rigido

22.19 €

Dopisy hledajícího probuzení René Daumal

In brossura

10.29 €

Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos

In brossura

36.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

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

Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove

Rigido

1 349.59 €

Enterprise Architecture Martin Op't Land

In brossura

59.99 €

Harald Szeemann - Museum of Obsessions Glenn Phillips

Rigido

63.09 €

Molecular Research of Endometrial Pathophysiology PAOLA VIGAN

In brossura

71.89 €

Twelve Horses For Julia LARA MALMQVIST

In brossura

13.39 €

How to Draw: Easy Techniques and Step-By-Step Drawings for Kids Aaria Baid

In brossura

11.49 €

God Spoken Wisdom to Heal Our Souls Rick Kent

In brossura

12.89 €

Principles of Protein-Protein Association Harold Erickson

Rigido

164.69 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

In brossura

37.79 €

Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston

In brossura

17.30 €

Madison Lexy Timms

In brossura

9.69 €

"Desert Storm" The Devil's Harvest: My prayers, "1st Gulf War" (The 100 hour war.) MR Harvey Carroll Jr

In brossura

7.19 €

Official History of Australia in the War of 1914-1918 C. E. W. BEAN

In brossura

67.59 €

Equipoise: Insights Into Foundational Astral Training Julian Rees

In brossura

12.19 €

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

In brossura

11.69 €

Scottish Law of Conveyancing: Heritable Rights. John Craigie

In brossura

22.00 €

Nature and Essence of Economic Theory Joseph A. Schumpeter

In brossura

67.99 €

International Comparisons of Energy Consumption Joy Dunkerley

In brossura

61.09 €

Sweet Dreams: In the Mind of a Serial Killer January Valentine

In brossura

13.10 €

Single Cell Analysis in Biotechnology and Systems Biology Fan-Gang Tseng

Rigido

58.89 €

Wiclif And Hus (1884) Johann Loserth

Rigido

47.61 €

Archaeology of the Oasis Alejandro F. Haber

In brossura

96.09 €

Physics for Scientists & Engineers with Modern Physics, Volume 3 (Chapters 36-44), Global Edition Douglas Giancoli

In brossura

72.19 €

This Side of Paradise - Easy English Story for Beginners (Level A1/A2) Grzegorz Michalski

In brossura

7.59 €

Ricercati di frequente

Categories

Authors

Publishers

Ricercati di frequente

Prodotti

Categories

Authors

Publishers

Consegna

Guida all'acquisto

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

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

Ricercati di frequente

Categories

Authors

Publishers

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

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

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