Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings »
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings »
Integrated Formal Methods
Proceedings of an International Workshop on Combining State-based and Behavioural Formalisms, 28-29 June 1999, York »
Proceedings of an International Workshop on Combining State-based and Behavioural Formalisms, 28-29 June 1999, York »
