Articles liés à Foundations of Software Science and Computation Structures
Synopsis
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Foundations of Software Science and Computation Structures
Image d'archives
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642370748
ISBN 13 : 9783642370748
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 23512969/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642370748
ISBN 13 : 9783642370748
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date results in foundations of software science and computational structures Fast-track conference proceedings State-of-the-art researchThis book constitutes the proceedings of the 16th International Conference on Foundations . N° de réf. du vendeur 5058493
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642370748
ISBN 13 : 9783642370748
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models. N° de réf. du vendeur 9783642370748
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures
Edité par
Springer Berlin Heidelberg Feb 2013, 2013
ISBN 10 : 3642370748
ISBN 13 : 9783642370748
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models. 476 pp. Englisch. N° de réf. du vendeur 9783642370748
Quantité disponible : 2 disponible(s)
Image d'archives
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642370748_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Science and Computation Structures
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013, 2013
ISBN 10 : 3642370748
ISBN 13 : 9783642370748
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch. N° de réf. du vendeur 9783642370748
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : 16th International Conference, Fossacs 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19791886-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : 16th International Conference, Fossacs 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19791886-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations of Software Science and Computation Structures
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 476. N° de réf. du vendeur 2648020791
Quantité disponible : 4 disponible(s)
Image d'archives
Foundations of Software Science and Computation Structures
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 476 51 Illus. N° de réf. du vendeur 44761832
Quantité disponible : 4 disponible(s)