Augusto Sampaio - Böcker

Visar alla böcker från författaren Augusto Sampaio.

5 produkter

Kategorier

5 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, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Application of Formal Methods

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Av Simon Foster, Augusto Sampaio

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Av Augusto Sampaio, Farn Wang

Häftad, Engelska, 2016

709 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

Av Ana Cavalcanti, Augusto Sampaio m. fl

Häftad, Engelska, 2006

729 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

Av Paulo Borba, Ana Cavalcanti m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar