FORTE 2004 Books
Formal Techniques For Networked And Distributed Systems - Forte 2004
By Manuel Núñez, FORTE 2004 (2004 Madrid, Spain), David De, David De Frutos-Escrig, Frutos-Escrig, FORTE 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in Sep...
Read More
Formal Techniques For Networked And Distributed Systems - Forte 2004
By Manuel Nunez, David De Frutos-Escrig, FORTE 2004
This Book Constitutes The Refereed Proceedings Of The 24th Ifip Wg 6.1 International Conference On Formal Techniques For Networked And Distributed Systems, Forte 2004, Held In Madrid, Spain, In Sep...
Read More
Geographic-Information-Science
By Christian Freksa, Max J. Egenhofer, Harvey J. Miller, FORTE 2004
This Section Gives A Description Of Notions Used Throughout This Study. Current Achievements In Developing Action-centered Ontologies Are Also Discussed. 2.1 Ontologies In The Context Of Informatio...
Read More