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 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Abstract State Machines, B and Z

Name: Abstract State Machines, B and Z
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570649
Price: 54.51 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540876021

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Língua

Inglês

Livro Capa mole

Código Libristo: 01570649

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

This book constitutes the refereed proceedings of the First International Conference of Abstract Sta... Descrição completa

Código Libristo: 01570649

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Jakob und Paula, ein Rabenpaar in unseren Gärten Hans Gerstner

Livro de capa dura

13.47 €

Das Symbol Des Fisches Und Die Fischdenkmaler Der Romischen Katakomben (1888) Hans Achelis

Capa mole

22.18 €

Naturwissenschaftliche Forschung in Deutschland in Zusammenhang mit der chilenischen Salpeterwirtschaft Katharina Loeber

Capa mole

17.12 €

Le pouvoir s’habille en robe Josée S. Palenfo

Capa mole

17.02 €

Le droit en tableaux 2023/2024. 7e éd. Dominique Mélès

Capa mole

54.92 €

YOKAI GIGA VOL.3 SATSUKI SATO

Capa mole

15.80 €

La Boîte à bonbons KOBI YAMADA

Livro

19.25 €

Der Krieger und die Hexe, 1 Blu-ray + 1 DVD (Limited Mediabook) David Carradine

Blu-ray

32.93 €

Zauberer Von ROM, Buch 5 Karl Gutzkow

Capa mole

23.70 €

Fortschritt bei Wärmetauschern Elsayed Zaki

Capa mole

47.22 €

Siddur Ner Tamid - Hoshanot Eitz Echad

Livro de capa dura

19.45 €

1947 Chaban à la conquête de la Municipalité Lachaise

Livro de capa dura

9.31 €

MELODIAS AFRO-BRASILEIRAS (6) --- 2 OU 4 GUITARES MACHADO CELSO Livro

binding.

27.45 €

Au coeur du mal Chelsea Cain

Capa mole

24.11 €

Swing 85, 2 Audio-CDs + 1 DVD (Limited Edition Birthday Box) Paul Kuhn

CD de áudio

35.56 €

Dictionnaîre fran?coîs & angloîs, contenant la significâtion des môts, avéc leurs différens usages, les térmes des sciences, des arts, ét des métiérs; Lewis Chambaud

Capa mole

33.64 €

First Love: Pervaya Lyubov' Ivan Sergeyevich Turgenev

Capa mole

9.01 €

Eingebettete Systeme Peter Holleczek

Capa mole

39.92 €

Prise En Charge Des Victimes d''agressions Sexuelles Sébastien Grignard

Capa mole

46.41 €

Death On The Road (Live) Iron Maiden

CD de áudio

19.85 €

Anthropogeographie Friedrich Ratzel

Capa mole

37.79 €

Archivum Ottomanicum 16 (1998) György Hazai

Capa mole

88.67 €

150 Aufsatzübungen 2. bis 4. Klasse Annette Weber

Capa mole

10.83 €

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.§The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.