Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Published by Springer-Verlag, Berlin, 1993
ISBN 10: 038757316XISBN 13: 9780387573168
Seller: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, United Kingdom
Book
paperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Published by Springer, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Book
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Published by Springer, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. 038757316X Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. 1993. Gepflegter, sauberer Zustand. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 292750/202.
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
Published by Springer Berlin Heidelberg, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together wi.
Published by Springer Berlin Heidelberg, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by t.
Published by Springer, 1993
ISBN 10: 038757316XISBN 13: 9780387573168
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. ix + 433.
Published by Springer 1993-10, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer 1996-12, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Berlin Heidelberg Okt 1993, 1993
ISBN 10: 354057316XISBN 13: 9783540573166
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. 452 pp. Englisch.
Published by Springer Berlin Heidelberg Dez 1996, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming. 472 pp. Englisch.
Published by Springer, 1996
ISBN 10: 3540620648ISBN 13: 9783540620648
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Springer, 1993
ISBN 10: 038757316XISBN 13: 9780387573168
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. ix + 433 Illus.