search for books and compare prices
Martin Wirsing has written 17 work(s)
Search for other authors with the same name
displaying 1 to 17 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Paperback:
9783642285035, titled "Java Kompakt: Eine Einfu¿hrung in Die Software-entwicklung Mit Java" | Springer-Verlag New York Inc, March 23, 2013, cover price $39.95
Paperback:
9783642156397 | 1 edition (Springer-Verlag New York Inc, September 29, 2010), cover price $99.00
Product Description: This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software...read more
Paperback:
9783642005923 | Springer-Verlag New York Inc, April 1, 2009, cover price $139.00 | About this edition: This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Paperback:
9783540894360 | Springer-Verlag New York Inc, December 1, 2008, cover price $99.00
Product Description: This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17â21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering...read more
Paperback:
9783540291077 | Springer-Verlag New York Inc, November 15, 2005, cover price $149.00 | About this edition: This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing.
Product Description: This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems...read more
Paperback:
9781441920140 | Springer Verlag, March 1, 2005, cover price $189.00 | About this edition: This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.
Paperback:
9783540225119 | Springer-Verlag New York Inc, September 30, 2004, cover price $169.00
Paperback:
9783540211792 | Springer-Verlag New York Inc, April 28, 2004, cover price $129.00
Product Description: This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas...read more
Paperback:
9783540205371 | Springer Verlag, March 1, 2004, cover price $119.00 | About this edition: This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques.
Paperback:
9783540614630 | Springer Verlag, August 1, 1996, cover price $169.00
Product Description: This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (Plilp '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative...read more
Paperback:
9783540558446 | Springer-Verlag New York Inc, August 12, 1992, cover price $109.00 | About this edition: This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (Plilp '92) held in Leuven, Belgium, August 26-28, 1992.
Product Description: The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science...read more
Paperback:
9783540545767 | Springer Verlag, October 23, 1991, cover price $99.00 | About this edition: The systematic development of software systems is a central task of computing science.
Paperback:
9783540544449 | Springer Verlag, August 14, 1991, cover price $119.00
Paperback:
9783540529743 | Springer Verlag, March 28, 1991, cover price $69.99
Hardcover:
9780444702531 | Elsevier Science Ltd, May 1, 1988, cover price $160.00 | also contains Secret Wars - Warzones! C
Product Description: This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science...read more
Paperback:
9783540188346 | Springer Verlag, January 27, 1988, cover price $119.00 | About this edition: This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988.
Paperback:
9783540172192 | Springer Verlag, February 11, 1987, cover price $69.99
displaying 1 to 17 |
at end