XIII, 548 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2244. Sprache: Englisch.
Language: English
Published by Springer Berlin / Heidelberg, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
Seller: Better World Books, Mishawaka, IN, U.S.A.
First Edition
Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Springer Verlag, New York, 2004
ISBN 10: 3540208135 ISBN 13: 9783540208136
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condition: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2890. [xv, 572 p. : ill. ; 24 cm].
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Condition: As New. Unread book in perfect condition.
Condition: New.
Condition: New. pp. 600.
Condition: New. pp. 600 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 44.60
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New. pp. 600.
Condition: New.
Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208135 ISBN 13: 9783540208136
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference ¿Perspectives of System Informatics,¿ Akademgorodok (Novosibirsk, Russia), July 9¿12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov¿s closest colleague, the late Prof. Igor Pottosin (1933¿2001), and his outstanding cont- bution towards advancing informatics. The rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi cant international events. Andrei Ershov was one of the early Russian pioneers in the eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University. 600 pp. Englisch.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9 12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov s closest colleague, the late Prof. Igor Pottosin (1933 2001), and his outstanding cont- bution towards advancing informatics. The rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi cant international events. Andrei Ershov was one of the early Russian pioneers in the eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University.
Taschenbuch. Condition: Neu. Perspectives of System Informatics | 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers | Dines Bjørner (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540430759 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 94.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Taschenbuch. Condition: Neu. Perspectives of Systems Informatics | 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers | Manfred Broy (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540208136 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 116.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg, 2000
ISBN 10: 3540671021 ISBN 13: 9783540671022
Seller: moluna, Greven, Germany
Condition: New. Includes supplementary material: sn.pub/extrasAlgebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.