Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Unifying Theories of Programming - 11 Angebote vergleichen
Preise | Feb. 17 | Sep. 17 | März 19 | Nov. 19 |
---|---|---|---|---|
Schnitt | € 42,91 | € 43,29 | € 44,05 | € 43,11 |
Nachfrage |
Unifying Theories of Programming, 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (2017)
ISBN: 9783319522289 bzw. 3319522280, in Deutsch, Springer, neu, E-Book.
bol.com.
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 ... 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. Taal: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Geschikt voor: Alle e-readers geschikt voor ebooks in ePub formaat. Tablet of smartphone voorzien van een app zoals de bol.com Kobo app.;Verschijningsdatum: januari 2017;ISBN10: 3319522280;ISBN13: 9783319522289; Engelstalig | Ebook | 2017.
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science) (2017)
ISBN: 9783319522289 bzw. 3319522280, in Englisch, 217 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
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. , Kindle Edition, ایڈیشن: 1st ed. 2017, وضع: Kindle eBook, لیبل: Springer, Springer, مصنوعات گروپ: eBooks, شائع: 2017-01-10, تاریخ کی رہائی: 2017-01-10, سٹوڈیو: Springer.
Unifying Theories of Programming, 6th Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (2017)
ISBN: 9783319522272 bzw. 3319522272, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
bol.com.
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 m... 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.Taal: Engels;Afmetingen: 235x155 mm;Verschijningsdatum: februari 2017;Druk: 1;ISBN10: 3319522272;ISBN13: 9783319522272; Engelstalig | Paperback | 2017.
Unifying Theories of Programming (2016)
ISBN: 9783319522289 bzw. 3319522280, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
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. eBook.
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (2016)
ISBN: 9783319522289 bzw. 3319522280, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Unifying Theories of Programming: 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. Englisch, Ebook.
Unifying Theories of Programming
ISBN: 9783319522272 bzw. 3319522272, in Englisch, Springer International Publishing AG, neu.
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.
Unifying Theories of Programming (2016)
ISBN: 9783319522289 bzw. 3319522280, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Unifying Theories of Programming
ISBN: 9783319522272 bzw. 3319522272, in Englisch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Unifying Theories of Programming (2016)
ISBN: 9783319522289 bzw. 3319522280, in Deutsch, neu, E-Book, elektronischer Download.