Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /
Published: (2003)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
Published: (2004)

Software reliability methods /
by: Peled, Doron A., 1962-
Published: (2001)

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published: (2005)

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures /
Published: (2003)

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
Published: (2005)

Software specification methods /
Published: (2006)

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 /
Published: (2005)

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Published: (2005)

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /
Published: (2003)

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
Published: (2005)

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
Published: (2005)

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
Published: (2004)

Security engineering with patterns : origins, theoretical models, and new applications /
by: Schumacher, Markus
Published: (2003)

Modern formal methods and applications /
Published: (2006)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /
Published: (2005)

Model-based testing of reactive systems : advanced lectures /
Published: (2005)

Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
Published: (2005)

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Published: (2003)

Doing quantitative research in education with SPSS /
by: Muijs, Daniel
Published: (2004)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published: (2001)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
Published: (2002)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Published: (2005)

Signals and systems : analysis using transform methods and MATLAB /
by: Roberts, Michael J., Dr
Published: (2004)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)

Computer systems: architectures, modeling, and simulation : third and fourth international workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004 : proceedings /
Published: (2004)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /
Published: (2004)

Information systems security.

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings /
Published: (2004)

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings /
Published: (2003)

Formal logic.
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1962)

Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday /
Published: (2005)

SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings /
Published: (2005)

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
Published: (2004)

Mathematical structures in computer science.