Augusto Sampaio – författare

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

8 produkter

Kategorier

8 produkter

Del 11885
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
739 kr
Skickas inom 10-15 vardagar
Del 14900
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
969 kr
Skickas inom 10-15 vardagar
Del 16556
Del 16556 - Lecture Notes in Computer Science
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
Del 16557
Del 16557 - Lecture Notes in Computer Science
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
AvAugusto Sampaio,Marielle Stoelinga
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Del 9965
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
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
739 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 Cavalcantim. fl.
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
Del 4
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