Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... 185 (Lecture Notes in Computer Science)
by Hartmut Ehrig,James Thatcher,Maurice Nivat,Christiane Floyd
ISBN 13: 9783540151982
Format: Paperback (436 pages) Publisher: Springer Published: 01 Mar 1985
Save for later
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings: 1101 (Lecture Notes in Computer Science)
by Martin Wirsing, Maurice Nivat
ISBN 13: 9783540614630
Format: Paperback (641 pages) Publisher: Springer Published: 19 Jun 1996
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science)
by V.S. Alagar,Maurice Nivat
ISBN 13: 9783540600435
Format: Paperback (612 pages) Publisher: Springer Published: 21 May 1995
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... 186 (Lecture Notes in Computer Science)
ISBN 13: 9783540151999
Format: Paperback (476 pages) Publisher: Springer Published: 13 Jun 2008
Parallel Image Analysis: Second International Conference, ICPIA '92 Ube, Japan, December 21-23, 1992 Proceedings: 654 (Lecture Notes in Computer Science)
by Akira Nakamura,Katsushi Inoue,Ahmed Saoudi,Patrick S. P. Wang,Maurice Nivat
ISBN 13: 9783540563464
Format: Paperback (324 pages) Publisher: Springer Published: 22 Feb 2009
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... P: 1378 (Lecture Notes in Computer Science)
by Maurice Nivat
ISBN 13: 9783540643005
Format: Paperback (308 pages) Publisher: Springer Published: 13 Jun 2008
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
ISBN 13: 9783540198529
Format: Paperback (436 pages) Publisher: Springer Published: 04 Oct 2013
CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings: 299 (Lecture Notes in Computer Science)
by Max Dauchet,Maurice Nivat
ISBN 13: 9783540190219
Format: Paperback (316 pages) Publisher: Springer Published: 13 Jun 2008