Items related to Perspectives of System Informatics: 4th International...

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... (Lecture Notes in Computer Science, 2244) - Softcover

 
9783540430759: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... (Lecture Notes in Computer Science, 2244)

Synopsis

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.

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

Buy Used

XIII, 548 p. Softcover. Versand...
View this item

£ 25.97 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Perspectives of System Informatics: 4th International...

Stock Image

Bjorner, Dines et al. (Eds.)
Published by Berlin, Springer., 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
Used Softcover

Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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. Seller Inventory # 723EB

Contact seller

Buy Used

£ 8.02
Convert currency
Shipping: £ 25.97
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

BjÞrner, Dines [Editor]; Broy, Manfred [Editor]; Zamulin, Alexandre [Editor];
Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # DA1412087

Contact seller

Buy Used

£ 37.32
Convert currency
Shipping: £ 5.17
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540430759

Contact seller

Buy New

£ 41.89
Convert currency
Shipping: £ 6.64
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)
Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 916327-n

Contact seller

Buy New

£ 46.71
Convert currency
Shipping: £ 1.95
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)
Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 916327

Contact seller

Buy Used

£ 53.44
Convert currency
Shipping: £ 1.95
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)
Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 916327-n

Contact seller

Buy New

£ 49.12
Convert currency
Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Dines Bjørner
ISBN 10: 354043075X ISBN 13: 9783540430759
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 568 pp. Englisch. Seller Inventory # 9783540430759

Contact seller

Buy New

£ 47.68
Convert currency
Shipping: £ 19.91
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Bjorner, Dines (EDT); Broy, Manfred (EDT); Zamulin, A. V. (EDT)
Published by Springer, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 916327

Contact seller

Buy Used

£ 55.70
Convert currency
Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bjørner, Dines|Broy, Manfred|Zamulin, Alexandre
Published by Springer Berlin Heidelberg, 2001
ISBN 10: 354043075X ISBN 13: 9783540430759
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 memoria. Seller Inventory # 4890230

Contact seller

Buy New

£ 43.12
Convert currency
Shipping: £ 42.40
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Dines Bjørner
ISBN 10: 354043075X ISBN 13: 9783540430759
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -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. 568 pp. Englisch. Seller Inventory # 9783540430759

Contact seller

Buy New

£ 47.68
Convert currency
Shipping: £ 51.93
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 1 more copies of this book

View all search results for this book