Home Advanced Search

Advanced Search - Page 1

CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)
TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.)
Semantic Domains and Denotational Semantics
  • PDF
  • English
  • Year: 1989
  • Author: Carl A. Gunter, Peter D. Mosses, Dana S. Scott
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
  • DJVU
  • English
  • Year: 1993
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.)
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Action semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Mosses P.D.
Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
  • DJVU
  • English
  • Year: 1994
  • Author: Ram Chillarege (auth.), Michel Banâtre, Peter A. Lee (eds.)
Systems and software verification
  • DJVU
  • English
  • Year: 2001
  • Author: Berard B., Bidoit M., Finkel A., et al. (eds.)
search