- 5 Results
Lowest price: € 53.49, highest price: € 86.74, average price: € 60.14
1
Unifying Theories of Programming, Kartoniert (TB)
Order
at Weltbild.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link

Unifying Theories of Programming, Kartoniert (TB) - new book

2017, ISBN: 3319522272

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction w… More...

Nr. 81909447. Shipping costs:, 2-5 Werktage, DE. (EUR 0.00)
close (x)
2
Unifying Theories of Programming
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Unifying Theories of Programming - new book

2016, ISBN: 9783319522272

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction w… More...

Nr. 978-3-319-52227-2. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
3
Unifying Theories of Programming
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Unifying Theories of Programming - Paperback

2017

ISBN: 9783319522272

*Unifying Theories of Programming* - 6th International Symposium UTP 2016 Reykjavik Iceland June 4-5 2016 Revised Selected Papers. 1st ed. 2017 / Taschenbuch für 53.49 € / Aus dem Bereich… More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
close (x)
4
Order
at AbeBooks.de
€ 86.74
Shipment: € 4.961
Order
Provider details
Sponsored link
Jonathan P. Bowen:
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 45, 2016, Revised Selected Papers 10134 Lecture Notes in Computer Science - Paperback

2017, ISBN: 3319522272

[EAN: 9783319522272], Neubuch, [PU: Springer], New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000., Books

NEW BOOK. Shipping costs: EUR 4.96 PBShop.store US, Wood Dale, IL, U.S.A. [8408184] [Rating: 5 (von 5)]
close (x)
5
Unifying Theories of Programming - Jonathan P. Bowen; Huibiao Zhu
Order
at lehmanns.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Jonathan P. Bowen; Huibiao Zhu:
Unifying Theories of Programming - First edition

2017, ISBN: 9783319522272

Paperback

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing], Springer Intern… More...

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Unifying Theories of Programming
Author:
Title:
ISBN:

3319522272


This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the

12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.

 

Details of the book - Unifying Theories of Programming


EAN (ISBN-13): 9783319522272
ISBN (ISBN-10): 3319522272
Paperback
Publishing year: 2017
Publisher: Springer International Publishing

Book in our database since 2017-01-24T19:56:38+00:00 (London)
Detail page last modified on 2024-03-06T04:59:47+00:00 (London)
ISBN/EAN: 3319522272

ISBN - alternate spelling:
3-319-52227-2, 978-3-319-52227-2
Alternate spelling and related search-keywords:
Book author: böwe, bowen, jonathan
Book title: the programming, symposium, reykjavik, theories theories

Information from Publisher

Author: Jonathan P. Bowen; Huibiao Zhu
Title: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Publisher: Springer; Springer International Publishing
217 Pages
Publishing year: 2017-01-11
Cham; CH
Printed / Made in
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
IX, 217 p. 36 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; formal languages; hybrid systems; programming language; semantic languages; semantic models; software engineering; denotational semantics; HCSP; interpreters; laws of programming; logics and meanings of programs; mathematical logic; meanings of programs; reactive processes; refinement; simulink; therory engineering; trace algebra; unifying theories; UTP; verification; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Formal Languages and Automata Theory; Theory of Computation; Compiler und Übersetzer; Software Engineering; EA

Abstraction refinement.- Choice.- Termination.- Feasibility.- Locality.-Concurrency.- Communication. 
Includes supplementary material: sn.pub/extras
< to archive...