Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540208136: Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science)

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 139.00
US$ 116.34

Convert Currency

Shipping: US$ 11.72
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Manfred Broy
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540208136

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 116.34
Convert Currency

Add to Basket

Shipping: US$ 11.72
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

MANFRED BROY
Published by Springer (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: NEW. 9783540208136 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0329810

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 120.76
Convert Currency

Add to Basket

Shipping: US$ 10.42
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Broy, Manfred
Published by Springer (2016)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783540208136_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 126.82
Convert Currency

Add to Basket

Shipping: US$ 5.04
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Published by Springer (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Softcover Quantity Available: 15
Print on Demand
Seller
Rating
[?]

Book Description Springer, 2004. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9783540208136

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 131.74
Convert Currency

Add to Basket

Shipping: US$ 4.65
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Manfred Broy
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Quantity Available: > 20
Print on Demand
Seller
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783540208136

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 136.86
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Manfred Broy (Editor), Alexandre V. Zamulin (Editor)
Published by Springer (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 1
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: New. 2003. This item is printed on demand. Bookseller Inventory # DADAX3540208135

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 140.12
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: New. book. Bookseller Inventory # 3540208135

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 177.49
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: > 20
Print on Demand
Seller
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2004. Paperback. Book Condition: New. 2003 ed.. Language: English . Brand New Book ***** Print on Demand *****.Thevolumecomprises?nalversionsofthepaperspresentedatthe5t hInternat- 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. Bookseller Inventory # AAV9783540208136

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 193.63
Convert Currency

Add to Basket

Shipping: US$ 3.91
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Published by Springer
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 20
Seller
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Book Condition: New. Paperback. 572 pages. Dimensions: 9.1in. x 6.0in. x 1.3in.Thevolumecomprisesnalversionsofthepaperspresentedatthe5thInter nat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 912, 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 Ershovs closest colleague, the late Prof. Igor Pottosin (19332001), 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 signicant 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783540208136

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 207.56
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

10.

Manfredbroy (Editor)/ INTERNATIONAL ANDREI ERSHOV MEMORIAL CON/ Broy, Manfred/ Zamulin, A. V.
Published by Springer-Verlag New York Inc (2004)
ISBN 10: 3540208135 ISBN 13: 9783540208136
New Paperback Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2004. Paperback. Book Condition: Brand New. 1st edition. 572 pages. 9.25x6.00x1.75 inches. In Stock. Bookseller Inventory # __3540208135

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 278.63
Convert Currency

Add to Basket

Shipping: US$ 7.82
From United Kingdom to U.S.A.
Destination, Rates & Speeds