Web Services and Formal Methods More Books Like This

Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2016
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2016
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2009
Transactions on Petri Nets and Other Models of Concurrency XVI Transactions on Petri Nets and Other Models of Concurrency XVI
Transactions on Petri Nets and Other Models of Concurrency XVI
2022
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009
Transactions on Petri Nets and Other Models of Concurrency XIV Transactions on Petri Nets and Other Models of Concurrency XIV
Transactions on Petri Nets and Other Models of Concurrency XIV
2019
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2015
Transactions on Petri Nets and Other Models of Concurrency X Transactions on Petri Nets and Other Models of Concurrency X
Transactions on Petri Nets and Other Models of Concurrency X
2015
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008