Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Unifying Theories of Programming

Jonathan P. Bowen

Huibiao Zhu

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 15560988

Založba Springer International Publishing AG, januar 2017

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theori... Celoten opis

Koda Libristo: 15560988

118 b

48.99 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Magazine Georges n°78 - Volcan (oct-nov 2025)

Mehka

13.18 €

Fußball-Bibel (Edition 2022) David Kadel

Trda

13.58 €

Toradora! 10 Zekkyou

Mehka

6.48 €

ONA 2 BALEARS Pla Viana

Trda

33.16 €

Der inoffizielle Adventskalender für Fans von Tadej Poga¿ar

Trda

21.19 €

Quin plom de soldadet ENRIC LLUCH

Mehka

11.05 €

Tafeln zur Entwicklungsgeschichte und topographischen Anatomie des Menschen Brass

Mehka

14.40 €

Super-Matze H?kon ?vre?s

Trda

9.73 €

Richesses Hydrologiques Du Departement Des Landes A l'Exposition de Bordeaux de 1895 IMP DE H LABEQUE

Mehka

13.08 €

Memoire A M. Le Maire de Marseille, Compagnie Lyonnaise Des Omnibus, Voitures Et Voies Ferrees DELAHANTE-G

Mehka

13.89 €

Du Syndrome de Weill Chez Les Enfants Favre-Gilly-A

Mehka

13.58 €

Usare e descrivere l'italiano A2 BALBONI

Mehka

17.54 €

Allgemeine Deutsche Real-encyklopädie Für Die Gebildeten Stände: Conversations-lexikon F. A. Brockhaus Verlag Leipzig

Mehka

34.69 €

Umsingen Heinrich Schaumberger

Trda

21.09 €

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.