Hoppa till sidans huvudinnehåll

Maurice Nivat – författare

Visar alla böcker från författaren .
8 produkter
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher - Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985, Häftad

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)

AvHartmut Ehrig,Christiane Floydm. fl.

Häftad, Engelska, 1985

569 kr

Skickas inom 10-15 vardagar

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher - Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985, Häftad

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)

AvHartmut Ehrig,Christiane Floydm. fl.

Häftad, Engelska, 1985

689 kr

Skickas inom 10-15 vardagar

Max Dauchet, Maurice Nivat - CAAP '88, Häftad

CAAP '88

13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

AvMax Dauchet,Maurice Nivat

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo - Algebraic Methodology and Software Technology (AMAST’93), Häftad

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

AvMaurice Nivat,Charles Rattraym. fl.

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S.P. Wang, Katsushi Inoue - Parallel Image Analysis, Häftad

Parallel Image Analysis

Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

AvAkira Nakamura,Maurice Nivatm. fl.

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

V.S. Alagar, Maurice Nivat - Algebraic Methodology and Software Technology, Häftad

Algebraic Methodology and Software Technology

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

AvV.S. Alagar,Maurice Nivat

Häftad, Engelska, 1995

1 409 kr

Skickas inom 10-15 vardagar

Martin Wirsing, Maurice Nivat - Algebraic Methodology and Software Technology, Häftad

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

AvMartin Wirsing,Maurice Nivat

Häftad, Engelska, 1996

1 449 kr

Skickas inom 10-15 vardagar

Maurice Nivat - Foundations of Software Science and Computation Structures, Häftad

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

AvMaurice Nivat

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar