Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
EUR 3,01
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 413 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 24,50
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642370748 ISBN 13 : 9783642370748
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 27,36
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 37,26
Trouvez également Couverture souple
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 303130828X ISBN 13 : 9783031308284
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 31,23
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 576 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Offres d'occasion à partir de EUR 41,13
Trouvez également Couverture souple
Edité par Springer International Publishing, 2019
ISBN 10 : 3030171264 ISBN 13 : 9783030171261
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 36,99
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 560 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 46,89
Trouvez également Couverture souple
Edité par Springer Nature Switzerland AG, 2022
ISBN 10 : 3030992527 ISBN 13 : 9783030992521
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 44,20
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Offres d'occasion à partir de EUR 68,21
Trouvez également Couverture souple
Edité par Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10 : 3031572300 ISBN 13 : 9783031572302
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 39,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Trouvez également Couverture rigide Couverture souple Edition originale
Edité par Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10 : 3031572270 ISBN 13 : 9783031572272
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 39,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Trouvez également Couverture souple
Edité par Springer International Publishing, 2018
ISBN 10 : 3319893653 ISBN 13 : 9783319893655
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 39,79
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 600 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 49,69
Trouvez également Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 47,98
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Offres d'occasion à partir de EUR 68,51
Trouvez également Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 47,98
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Offres d'occasion à partir de EUR 69,07
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 1998
ISBN 10 : 3540643001 ISBN 13 : 9783540643005
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 42,18
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 308 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 52,08
Trouvez également Couverture souple
Edité par Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10 : 3031908961 ISBN 13 : 9783031908965
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,79
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 49,30
Trouvez également Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 54,16
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,76
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2017
ISBN 10 : 3662544571 ISBN 13 : 9783662544570
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540657193 ISBN 13 : 9783540657194
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o er progress in foundational research with a clear signi cance for software science. A central issue is theories and methods which support the speci cation, tra- formation, veri cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 78,54
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2016
ISBN 10 : 3662496291 ISBN 13 : 9783662496299
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 181,10
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3642548296 ISBN 13 : 9783642548291
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 127,63
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2002
ISBN 10 : 354043366X ISBN 13 : 9783540433668
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2002 is the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 78,94
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540212981 ISBN 13 : 9783540212980
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 84,27
Trouvez également Couverture souple
Edité par Springer Berlin Heidelberg, 2015
ISBN 10 : 3662466775 ISBN 13 : 9783662466773
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 181,10
Trouvez également Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 55,54
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2000. 408 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,4 x 15,5 x 2,3 cm, Taschenbuch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 77,60
Offres d'occasion à partir de EUR 64,54
Trouvez également Couverture souple
Edité par Saint Philip Street Press, 2020
ISBN 10 : 1013271300 ISBN 13 : 9781013271304
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 66,32
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 70,92
Trouvez également Couverture souple
Edité par Saint Philip Street Press, 2020
ISBN 10 : 101326942X ISBN 13 : 9781013269424
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 66,32
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 70,92
Trouvez également Couverture souple
Edité par Saint Philip Street Press, 2020
ISBN 10 : 1013271319 ISBN 13 : 9781013271311
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 70,64
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 75,24
Trouvez également Couverture rigide
Edité par Saint Philip Street Press, 2020
ISBN 10 : 1013269438 ISBN 13 : 9781013269431
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 70,64
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 75,24
Trouvez également Couverture rigide