Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-5 of 5)
Derrick, John, 1963-
1
E-book
2012

Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings


ABZ (Conference) (3rd : 2012 : Pisa, Italy)
Berlin ; New York : Springer, [2012]

Rating:

 
 
3
Book
2004

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings


International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)
New York, NY : Springer-Verlag Berlin Heidelberg, 2004

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.0151 Int/Ico 2004  AVAILABLE
4
E-book
2012

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings


International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)
Berlin ; New York : Springer, [2012]

Rating:

 
 
5
E-book
2013?

Refinement in Z and Object-Z : foundations and advanced applications


Derrick, John, 1963- author
London : Springer, [2013?]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results