Foundations of Software Science and Computation Structures - Couverture souple

9783030171261: Foundations of Software Science and Computation Structures

Couverture souple

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Editeur : Springer, 2019

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 29,90

10 Neuf

De EUR 46,22

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2019
Langue: anglais
ISBN 10: 3030171264
ISBN 13: 9783030171261
Reliure: Broch�
Nombre de pages: 560
�diteur: Bojańczyk Mikołaj, Simpson Alex
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

Zustand: Hervorragend | Seiten:...

Afficher cet article

EUR 29,90

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 46,22

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9783030171285: Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint ... Czech Republic, April 6-11, 2019, Proceedings

Edition pr�sent�e

ISBN 10 : 3030171280 ISBN 13 : 9783030171285
Editeur : Springer, 2019
Couverture souple

R�sultats de recherche pour Foundations of Software Science and Computation Structures

Image d'archives

Foundations of Software Science and Computation Structures (eng)

Boja?czyk, Miko?aj

Edit� par Springer, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 69f2265fdf8eefe7ec332842423df25b

Contacter le vendeur

Acheter neuf

EUR 46,22

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Edit� par Springer, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783030171261_new

Contacter le vendeur

Acheter neuf

EUR 59,52

Exp�dition �EUR 13,73
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferenc

Bojanczyk, Mikolaj

Edit� par Springer 2019-04, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783030171261

Contacter le vendeur

Acheter neuf

EUR 56,68

Exp�dition �EUR 17,75
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Foundations of Software Science and Computation Structures

Alex Simpson

Edit� par Springer International Publishing Apr 2019, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Taschenbuch

impression � la demande

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 open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. 560 pp. Englisch. N� de r�f. du vendeur 9783030171261

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint . 11425 (Lecture Notes in Computer Science)

Edit� par Springer, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18376627854

Contacter le vendeur

Acheter neuf

EUR 76,27

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint . 11425 (Lecture Notes in Computer Science)

Edit� par Springer, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 369450331

Contacter le vendeur

Acheter neuf

EUR 82,42

Exp�dition �EUR 7,45
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Foundations of Software Science and Computation Structures

Bojanczyk, Mikolaj|Simpson, Alex

Edit� par Springer International Publishing, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Couverture souple

impression � la demande

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. This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of t. N� de r�f. du vendeur 284372897

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Foundations of Software Science and Computation Structures: 22nd International Conference, Fossacs 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2019, Prague, Cz

Bojanczyk, Mikolaj (Editor)/ Simpson, Alex (Editor)

Edit� par Springer-Verlag New York Inc, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 550 pages. 9.25x6.10x1.22 inches. In Stock. N� de r�f. du vendeur x-3030171264

Contacter le vendeur

Acheter neuf

EUR 88,24

Exp�dition �EUR 14,33
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Foundations of Software Science and Computation Structures

Miko�aj Boja�czyk

Edit� par Springer, Springer Apr 2019, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games.- Resource-Tracking Concurrent Games.- Change Actions: Models of Generalised Differentiation.- Coalgebra Learning via Duality.- Tight Worst-Case Bounds for Polynomial Loop Programs.- A Complete Normal-Form Bisimilarity for State.- Identifiers in Registers - Describing Network Algorithms with Logic.- The Impatient May Use Limited Optimism to Minimize Regret.- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).- Rewriting Abstract Structures: Materialization Explained Categorically.- Two-Way Parikh Automata with a Visibly Pushdown Stack.- Kleene Algebra with Hypotheses.- Trees in Partial Higher Dimensional Automata.- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains.- Continuous Reachability for Unordered Data Petri Nets is in PTime.- Optimal Satisfiability Checking for Arithmetic mu-Calculi.- Constructing Inductive-Inductive Types in Cubical Type Theory.- Causal Inference by String Diagram Surgery.- Higher-Order Distributions for Differential Linear Logic.- Languages Ordered by the Subword Order.- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces.- A Sound and Complete Logic for Algebraic Effects.- Equational Axiomatization of Algebras with Structure.- Towards a Structural Proof Theory of Probabilistic �-Calculi.- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.- Equational Theories and Monads from Polynomial Cayley Representations.- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words.- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time.- Justness: A Completeness Criterion for Capturing Liveness Properties.- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 560 pp. Englisch. N� de r�f. du vendeur 9783030171261

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6�11, 2019, Proceedings

Alex Simpson

Edit� par Springer International Publishing, Springer International Publishing, 2019

ISBN 10 : 3030171264 ISBN 13 : 9783030171261

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 open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. N� de r�f. du vendeur 9783030171261

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 64,19
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre