Augusto Sampaio - Böcker
Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
719 kr
Skickas inom 10-15 vardagar
Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
949 kr
Skickas inom 10-15 vardagar
- Nyhet
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
989 kr
Kommande
- Nyhet
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
1 849 kr
Kommande
Theoretical Aspects of Computing – ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
699 kr
Skickas inom 10-15 vardagar
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
719 kr
Skickas inom 10-15 vardagar
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
719 kr
Skickas inom 10-15 vardagar
1 599 kr
Skickas inom 5-8 vardagar