Hoppa till sidans huvudinnehåll

Augusto Sampaio - Böcker

Visar alla böcker från författaren Augusto Sampaio.
6 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

AvPedro Ribeiro,Augusto Sampaio

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Application of Formal Methods

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

AvSimon Foster,Augusto Sampaio

Häftad, Engelska, 2024

929 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2016

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

AvAugusto Sampaio,Farn Wang

Häftad, Engelska, 2016

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

AvAna Cavalcanti,Augusto Sampaio m. fl.

Häftad, Engelska, 2006

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

AvPaulo Borba,Ana Cavalcanti m. fl.

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

Del 4 - Amast Series In Computing

Algebraic Approach To Compiler Design, An

AvAugusto Sampaio,Sampaio a m. fl.

Inbunden, Engelska, 1997

1 599 kr

Skickas inom 5-8 vardagar