Augusto Sampaio – författare
Visar alla böcker från författaren Augusto Sampaio.
8 produkter
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
Av Pedro Ribeiro, Augusto Sampaio
Häftad, 2019
739 kr
Lägg i varukorg
Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Av Simon Foster, Augusto Sampaio
Häftad, 2024
969 kr
Lägg i varukorg
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
589 kr
Lägg i varukorg
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
589 kr
Lägg i varukorg
Theoretical Aspects of Computing – ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Häftad, 2016
719 kr
Lägg i varukorg
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Av Ana Cavalcanti, Augusto Sampaio m. fl.
Häftad, 2006
739 kr
Lägg i varukorg
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Paulo Borba, Ana Cavalcanti m. fl.
Häftad, 2010
739 kr
Lägg i varukorg