Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 45.49 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

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Bourvil Mareska

In brossura

19.29 €

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

In brossura

2.69 €

Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau

In brossura

23.49 €

¿Puedo mirar tu chupete? Guido van Genechten

Rigido

12.79 €

Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani

Adobe ePub DRM

9.59 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Rigido

16.09 €

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

Rigido

7.19 €

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

Rigido

20.69 €

Ontologie und Dialektik Theodor W. Adorno

In brossura

17.19 €

Kartographie Florian Dünckmann

In brossura

31.99 €

Die Filmdeutung als Weg zum Selbst Otto Teischel

Rigido

49.69 €

Direkt plus 3B. Podręcznik praca zbiorowa

In brossura

9.49 €

Zrozeni k chůzi James Earls

Rigido

6.49 €

Correspondance de Champ Libre T. 1 collegium

In brossura

11.89 €

In Auschwitz Sima Vaisman

Rigido

14.49 €

Le Sortilège de Stellata Daniela Raimondi

In brossura

20.39 €

Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle

Rigido

33.89 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

In brossura

63.59 €

Aprende a ser influyente y obten todo lo que quieras Eladio Olivo

Rigido

16.79 €

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

In brossura

12.59 €

Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml

Articoli di cancelleria

5.09 €

Dopisy hledajícího probuzení René Daumal

In brossura

8.69 €

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

In brossura

30.39 €

Plíseň Siri Pettersenová

Rigido

10.39 €

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

Enterprise Architecture Martin Op't Land

In brossura

50.59 €

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

Rigido

1 149.29 €

Nature and Essence of Economic Theory Joseph A. Schumpeter

In brossura

57.39 €

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

In brossura

9.19 €

God Spoken Wisdom to Heal Our Souls Rick Kent

In brossura

10.89 €

Principles of Protein-Protein Association Harold Erickson

Rigido

142.79 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

In brossura

32.29 €

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

In brossura

15.39 €

Madison Lexy Timms

In brossura

10.69 €

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

In brossura

59.79 €

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

10.19 €