Hoppa till sidans huvudinnehåll

Augusto Sampaio – författare

Visar alla böcker från författaren .
8 produkter
Pedro Ribeiro, Augusto Sampaio - Unifying Theories of Programming, Häftad
Del 11885 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Simon Foster, Augusto Sampaio - Application of Formal Methods, Häftad
Del 14900 - Lecture Notes in Computer Science

Application of Formal Methods

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

AvSimon Foster,Augusto Sampaio

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Augusto Sampaio, Marielle Stoelinga - Formal Methods, Häftad

Formal Methods

27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I

AvAugusto Sampaio,Marielle Stoelinga

Häftad, Engelska, 2026

589 kr

Skickas inom 10-15 vardagar

  • Nyhet
Augusto Sampaio, Marielle Stoelinga - Formal Methods, Häftad

Formal Methods

27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II

AvAugusto Sampaio,Marielle Stoelinga

Häftad, Engelska, 2026

1 409 kr

Skickas inom 11-20 vardagar

Augusto Sampaio, Farn Wang - Theoretical Aspects of Computing – ICTAC 2016, Häftad
Del 9965 - Lecture Notes in Computer Science

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

709 kr

Skickas inom 10-15 vardagar

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering, Häftad

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 Sampaiom. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook - Testing Techniques in Software Engineering, Häftad

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 Cavalcantim. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Augusto Sampaio - Algebraic Approach To Compiler Design, An, Inbunden
Del 4 - Amast Series In Computing

Algebraic Approach To Compiler Design, An

AvAugusto Sampaio

Inbunden, Engelska, 1997

1 689 kr

Skickas inom 5-8 vardagar