Formal Methods: Applications and Technology

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

Língua

Inglês

Livro Capa mole

Código Libristo: 01568175

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2007

This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Descrição completa

Código Libristo: 01568175

111 b

45.93 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Bourvil Mareska

Capa mole

19.78 €

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

Livro de capa dura

7.26 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Livro de capa dura

16.35 €

Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle

Capa mole

15.03 €

Correspondance de Champ Libre T. 1 collegium

Capa mole

12.21 €

Direkt plus 3B. Podręcznik praca zbiorowa

Capa mole

9.58 €

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

Capa mole

23.72 €

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

Livro de capa dura

20.89 €

Flussschiffbau Wilhelm Teubert

Capa mole

76.83 €

Ontologie und Dialektik Theodor W. Adorno

Capa mole

17.36 €

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

Adobe ePub DRM

9.78 €

¿Puedo mirar tu chupete? Guido van Genechten

Livro de capa dura

12.81 €

Zápisník s gumičkou A4 210x290 mm africké masky

binding.

7.06 €

Blut und Feuer Michael Gratzke

Capa mole

25.64 €

Die Filmdeutung als Weg zum Selbst Otto Teischel

Livro de capa dura

50.17 €

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

Artigos de papelaria

5.14 €

In Auschwitz Sima Vaisman

Livro de capa dura

14.73 €

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

Capa mole

30.68 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Capa mole

64.31 €

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

Livro de capa dura

34.32 €

Niebla Miguel De Unamuno

Capa mole

11.80 €

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

Capa mole

12.61 €

Die blinden Flecken der RAF Wolfgang Kraushaar

Livro de capa dura

18.47 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods: Applications and Technology

Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2007

Número de páginas 366

EAN 9783540709510

ISBN 3540709517

Código Libristo 01568175

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 575

Dimensões 155 x 235 x 22

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Enterprise Architecture Martin Op't Land

Capa mole

51.08 €

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

Livro de capa dura

1 160.53 €

International Comparisons of Energy Consumption Joy Dunkerley

Capa mole

50.37 €

Principles of Protein-Protein Association Harold Erickson

Livro de capa dura

144.17 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Capa mole

32.60 €

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

Capa mole

15.54 €

Madison Lexy Timms

Capa mole

8.77 €

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

Capa mole

60.37 €

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

Capa mole

10.29 €