Programming Languages and Systems: 26th European Symposium on Programming, Proceedings - Couverture souple

9783662544334: Programming Languages and Systems: 26th European Symposium on Programming, Proceedings

Couverture souple

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2017

Afficher les exemplaires de cette �dition comportant l'ISBN

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.

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

�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'�dition: 2017
Langue: anglais
ISBN 10: 3662544334
ISBN 13: 9783662544334
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 1007
�diteur: Yang Hongseok
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

R�sultats de recherche pour Programming Languages and Systems: 26th European Symposium...

Image d'archives

Programming Languages and Systems

Edit� par Springer, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

Neuf Couverture souple

impression � la demande

Vendeur : Basi6 International, Irving, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. N� de r�f. du vendeur POD-212352

Contacter le vendeur

Acheter neuf

EUR 93,42

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems

Hongseok Yang

Edit� par Springer Berlin Heidelberg Mrz 2017, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

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 book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. 1008 pp. Englisch. N� de r�f. du vendeur 9783662544334

Contacter le vendeur

Acheter neuf

EUR 106,99

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science, 10201)

Edit� par Springer, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

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 ria9783662544334_new

Contacter le vendeur

Acheter neuf

EUR 117,34

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems

Yang, Hongseok

Edit� par Springer Berlin Heidelberg, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 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 36 p. N� de r�f. du vendeur 144588997

Contacter le vendeur

Acheter neuf

EUR 92,27

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Programming Languages and Systems (eng)

Yang, Hongseok

Edit� par Springer, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

Neuf Couverture souple

impression � la demande

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

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 86,24

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems | 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Hongseok Yang

Edit� par Springer, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Programming Languages and Systems | 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings | Hongseok Yang | Taschenbuch | xv | Englisch | 2017 | Springer | EAN 9783662544334 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 108774983

Contacter le vendeur

Acheter neuf

EUR 95,25

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems

Hongseok Yang

Edit� par Springer, Springer M�r 2017, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

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 -This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 1008 pp. Englisch. N� de r�f. du vendeur 9783662544334

Contacter le vendeur

Acheter neuf

EUR 106,99

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22�29, 2017, Proceedings

Hongseok Yang

Edit� par Springer Berlin Heidelberg, 2017

ISBN 10 : 3662544334 ISBN 13 : 9783662544334

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 26th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. N� de r�f. du vendeur 9783662544334

Contacter le vendeur