15 treff

formell spesifikasjon programutvikling
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski ... [et al.] (eds.)
Bok Engelsk 2005 · Vis mer
Petri nets for systems engineering : a guide to modeling, verification, and applications
Claude Girault, Rüdiger Valk
Bok Engelsk 2003 · Vis mer
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report
Hartmut Ehrig ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbo...
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
International Conference of B and Z Users
Bok Engelsk 2005 · Vis mer
ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
International Conference of B and Z Users
Bok Engelsk 2003 · Vis mer
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
International Conference of B and Z Users
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29- September 2, 2000 : proceedings
International Conference of B and Z Users
Bok Engelsk 2000 · Vis mer
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
International Conference of B Users
Bok Engelsk 2006 · Vis mer
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
IFM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings
IFM 2005
Bok Engelsk 2005 · Vis mer
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
IFM 2002
Bok Engelsk 2002 · Vis mer
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · Vis mer
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
IFM 2000
Bok Engelsk 2000 · Vis mer
Mechanised formal reasoning about modular programs
Linas Laibinis
Bok Engelsk 2000 · Vis mer