Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.34
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.33
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Editor(s): Jacobs, Bart (Radboud Universiteit Nijmegen); Loding, Christof. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 78 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 854. . 2016. Paperback. . . . .
Condition: New. pp. 550.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Editor(s): Jacobs, Bart (Radboud Universiteit Nijmegen); Loding, Christof. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 78 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 854. . 2016. Paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2016, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: Revaluation Books, Exeter, United Kingdom
US$ 95.75
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 564 pages. 9.25x6.10x1.28 inches. In Stock.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 191.28
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 180.20
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg Mrz 2016, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads. 564 pp. Englisch.
Condition: New. Print on Demand pp. 550.
Condition: New. PRINT ON DEMAND pp. 550.
Language: English
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Confere.
Taschenbuch. Condition: Neu. Foundations of Software Science and Computation Structures | 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Bart Jacobs (u. a.) | Taschenbuch | xi | Englisch | 2016 | Springer | EAN 9783662496299 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.