search for books and compare prices
Johan Lewi has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780387151212 Cover for 9783642702419 Cover for 9780387516264 Cover for 9783642750328 Cover for 9780471931485
Data Structures of Pascal, Algol 68, Pl/1 and Ada
cover image for 9783642702419
By Johan Lewi and Jan Paredaens
See complete details on each edition (2 editions listed)

Paperback:

9783642702419 | Reprint edition (Springer-Verlag New York Inc, October 3, 2013), cover price $99.00
9780387151212 | Springer Verlag, August 1, 1986, cover price $59.00

Algebraic Specifications in Software Engineering: An Introduction
cover image for 9783642750328
Product Description: "I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out...read more
By Johan Lewi
See complete details on each edition (2 editions listed)

Hardcover:

9780387516264 | Springer Verlag, December 1, 1989, cover price $24.95 | About this edition: "I prefer to view formal methods as tools.

Paperback:

9783642750328 | Reprint edition (Springer-Verlag New York Inc, December 21, 2011), cover price $99.00 | About this edition: "I prefer to view formal methods as tools.

Software Development by ll
cover image for 9780471931485
Product Description: Using a conceptual and practical approach, it explains a method for syntax-directed program development based on LL(1) and extended LL(1) parsing strategies resulting in a series of so-called generation schemes with increasing complexity...read more
By Karel De Vlaminck, Johan Lewi and Eric Steegmans
See complete details on each edition (1 edition listed)

Hardcover:

9780471931485 | John Wiley & Sons Inc, June 1, 1992, cover price $59.95 | About this edition: Using a conceptual and practical approach, it explains a method for syntax-directed program development based on LL(1) and extended LL(1) parsing strategies resulting in a series of so-called generation schemes with increasing complexity.

displaying 1 to 3 | at end