Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.81
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.93
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. 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.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 46.03
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 564 pages. 9.25x6.10x1.28 inches. In Stock.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2016, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
£ 46.93
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. 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.
Seller: Books Puddle, New York, NY, U.S.A.
£ 73.82
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp. 550.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.03
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 137.99
Convert currencyQuantity: 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. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 161.68
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg Mrz 2016, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
£ 46.93
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. 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.
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Language: English
Seller: moluna, Greven, Germany
£ 42.44
Convert currencyQuantity: Over 20 available
Add to basketCondition: 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.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 550.
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 82.03
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 550.