ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Helmut Seidl has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642176371 Cover for 9783642149085 Cover for 9783540713883
2
cover image for 9783642176371
Product Description: While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages...read more
Edition summary (click for prices and details):

Hardcover:

9783642176371 | Springer-Verlag New York Inc, January 29, 2013, cover price $59.95 | About this edition: While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems.

3
cover image for 9783642149085
Product Description: While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available...read more
Edition summary (click for prices and details):

Hardcover:

9783642149085 | Springer-Verlag New York Inc, January 19, 2011, cover price $59.95 | About this edition: While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems.

4
cover image for 9783540713883
Product Description: This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems...read more
By Helmut Seidl (editor)
Edition summary (click for prices and details):

Paperback:

9783540713883 | Springer-Verlag New York Inc, April 12, 2007, cover price $74.95 | About this edition: This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007.

displaying 1 to 4 | at end