Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 20479 HUF
Availability: InStock
Author: Egon Börger
ISBN: 9783540876021

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

Language

English

Book Paperback

Libristo code: 01570649

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008

This book constitutes the refereed proceedings of the First International Conference of Abstract Sta... Full description

Libristo code: 01570649

136 b

20 479 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Hardback

5 069 Ft

Zauberer Von ROM, Buch 5 Karl Gutzkow

Paperback

8 933 Ft

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

Blu-ray

12 346 Ft

Fortschritt bei Wärmetauschern Elsayed Zaki

Paperback

17 781 Ft

La Boîte à bonbons KOBI YAMADA

Book

7 020 Ft

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

Paperback

20 584 Ft

Siddur Ner Tamid - Hoshanot Eitz Echad

Hardback

7 620 Ft

YOKAI GIGA VOL.3 SATSUKI SATO

Paperback

5 673 Ft

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

Paperback

6 458 Ft

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

Paperback

6 806 Ft

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

Paperback

8 724 Ft

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

Hardback

3 212 Ft

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

binding.

10 142 Ft

Au coeur du mal Chelsea Cain

Paperback

8 857 Ft

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

Audio CD

13 340 Ft

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

Paperback

13 207 Ft

First Love: Pervaya Lyubov' Ivan Sergeyevich Turgenev

Paperback

3 546 Ft

L'homme Qui Rit Victor Hugo

Paperback

7 986 Ft

Eingebettete Systeme Peter Holleczek

Paperback

15 030 Ft

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

Paperback

17 462 Ft

Death On The Road (Live) Iron Maiden

Audio CD

7 458 Ft

Anthropogeographie Friedrich Ratzel

Paperback

14 244 Ft

Archivum Ottomanicum 16 (1998) György Hazai

Paperback

33 339 Ft

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

Paperback

3 879 Ft

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.