Maurice Nivat – författare
Visar alla böcker från författaren Maurice Nivat.
8 produkter
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
569 kr
Lägg i varukorg
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
689 kr
Lägg i varukorg
CAAP '88
13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings
Häftad, 1988
729 kr
Lägg i varukorg
Algebraic Methodology and Software Technology (AMAST’93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Av Maurice Nivat, Charles Rattray m. fl.
Häftad, 1993
729 kr
Lägg i varukorg
Parallel Image Analysis
Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings
Av Akira Nakamura, Maurice Nivat m. fl.
Häftad, 1992
729 kr
Lägg i varukorg
Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Häftad, 1995
1409 kr
Lägg i varukorg
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Av Martin Wirsing, Maurice Nivat
Häftad, 1996
1449 kr
Lägg i varukorg
Foundations of Software Science and Computation Structures
First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Häftad, 1998
729 kr
Lägg i varukorg