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

Perspectives of System Informatics

Name: Perspectives of System Informatics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564024
Price: 20317 HUF
Availability: InStock
Author: Dines Bjorner
ISBN: 9783540430759

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Dines Bjorner

Manfred Broy

Alexandre Zamulin

Language

English

Book Paperback

Libristo code: 01564024

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2001

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ersho... Full description

Libristo code: 01564024

136 b

20 317 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

SAMTLICHE WERKE FUR TASTENINSTRUMENTE BAND 3 ORGUE ANDREA GABRIELI Printed items

Sheet music

29 707 Ft

La force de la foi MENYE

Paperback

7 455 Ft

Lucinka a uzdravený sobík Anne Boothová

Hardback

3 323 Ft

10 Mandamientos Financieros CASTRO EDWIN

Paperback

5 660 Ft

Das fotografische Werk, Band 4. Bd.4 Carl Bellingrodt

Hardback

16 662 Ft

NOUS ON VEUT DES JARDINS RENÉ

Audio CD

6 424 Ft

Die Wahlverwandtschaften Johann Wolfgang Goethe

Paperback

2 708 Ft

Mimo, leo y comprendo 2

Paperback

4 554 Ft

LUFTBALLONS A1.1 - Arbeitsheft (Cahier d'activités) Bonnard

Paperback

2 098 Ft

Maison Mame, 1796-1893: Les Noces de Diamant de M. Et Mme Alfred Mame SANS AUTEUR

Paperback

5 332 Ft

Porque tanto amó Dios al mundo: Libro para colorear para ni?os Nancy B. Velasco

Paperback

4 027 Ft

Mein Struggle Chris Faschon

Paperback

7 892 Ft

Letzte Chance für Harry Rolf Rene Schneider

DVD

3 041 Ft

Las crónicas de Narnia 6. La silla de plata C. S. Lewis

Paperback

3 442 Ft

Assemblee Des Representants de la Commune de Paris Jeudi 14 Janvier 1790 Sans Auteur

Paperback

4 970 Ft

Filastrocche al Cellulare: rime per bambini nello spazio di un sms Stefano Piotto

Paperback

2 663 Ft

Salt Blossoms Henrieke I. Strecker

Hardback

7 144 Ft

Prolegomena zu einer Urkundlichen Geschichte der Luzerner Mundart und Die Luzerner Kanzleisprache 1250-1600 Renward Brandstetter

Hardback

15 180 Ft

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.