Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Methods: Applications and Technology Lubos Brim

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

Boudewijn Haverkort

Jaco van de Pol

Língua

Inglês

Livro Capa mole

Livro Formal Methods: Applications and Technology Lubos Brim

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

?

points

132 b

54.06 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Bourvil Mareska

/

Capa mole

21.70 €

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

/

Capa mole

3.41 €

Neobvyklé způsoby uzdravení a léčby Gennadij P. Malachov

/

Capa mole

15.97 €

SOS meteoros EDGAR P. JACOBS

/

Capa mole

17.17 €

Ontologie und Dialektik Theodor W. Adorno

/

Capa mole

20.79 €

Brief einer Unbekannten Stefan Zweig

/

Capa mole

14.26 €

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

/

Livro de capa dura

8.53 €

¿Puedo mirar tu chupete? Guido van Genechten

/

Livro de capa dura

14.66 €

Felek i Tola i urodziny Henia Sylvia Vanden Heede

/

Livro de capa dura

6.52 €

Dopisy hledajícího probuzení René Daumal

/

Capa mole

10.34 €

Plíseň Siri Pettersenová

/

Livro de capa dura

12.35 €

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

/

Livro de capa dura

24.81 €

Zrozeni k chůzi James Earls

/

Livro de capa dura

7.13 €

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

Ewa Kasp

Ewa Kasp

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

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 356.24 €

Enterprise Architecture Martin Op't Land

/

Capa mole

60.29 €

Equipoise: Insights Into Foundational Astral Training Julian Rees

/

Capa mole

13.25 €

Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney

/

Capa mole

11.55 €

ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg

/

Capa mole

19.69 €

Molecular Research of Endometrial Pathophysiology PAOLA VIGAN

/

Capa mole

74.25 €

Twelve Horses For Julia LARA MALMQVIST

/

Capa mole

13.86 €

Secrets of Maple Hill Cristina Guarneri

/

Livro de capa dura

24.11 €

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

/

Capa mole

11.55 €

God Spoken Wisdom to Heal Our Souls Rick Kent

/

Capa mole

13.25 €

Principles of Protein-Protein Association Harold Erickson

/

Livro de capa dura

170.02 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

/

Capa mole

39.08 €

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

/

Capa mole

18.78 €

Madison Lexy Timms

/

Capa mole

10.54 €

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

/

Capa mole

7.73 €

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

/

Capa mole

67.72 €

Harald Szeemann - Museum of Obsessions Glenn Phillips

/

Livro de capa dura

63.30 €

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

12.85 €

Scottish Law of Conveyancing: Heritable Rights. John Craigie

/

Capa mole

24.11 €

Nature and Essence of Economic Theory Joseph A. Schumpeter

/

Capa mole

68.33 €

International Comparisons of Energy Consumption Joy Dunkerley

/

Capa mole

61.39 €

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

/

Livro de capa dura

60.79 €

Greek and Roman Sculpture Kale James

/

Capa mole

14.46 €

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

/

Capa mole

7.73 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?