Augusto Sampaio – författare
Visar alla böcker från författaren Augusto Sampaio. Handla med fri frakt och snabb leverans.
13 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
566 kr
Lägg i varukorg
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in …
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 Augusto Sampaio, Pedro Ribeiro
E-bok, 2019
732 kr
Lägg i varukorg
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in …
Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Av Simon Foster, Augusto Sampaio
Häftad, 2024
745 kr
Lägg i varukorg
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in …
Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Av Augusto Sampaio, Simon Foster
E-bok, 2024
1642 kr
Lägg i varukorg
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in …
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
456 kr
Lägg i varukorg
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 …
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
456 kr
Lägg i varukorg
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 …
Theoretical Aspects of Computing – ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Häftad, 2016
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper …
Theoretical Aspects of Computing - ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
E-bok, 2016
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper …
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
566 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able …
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Av Jim Woodcock, Augusto Sampaio m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able …
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
566 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Jim Woodcook, Augusto Sampaio m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
ALGEBRAIC APPROACH TO COMPILER DESIGN, AN
Inbunden, 1997
1341 kr
Lägg i varukorg
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is …
