List of Books in Keyword #Formal methods

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Programming and Software Engineering)
Published on: 2009
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …

Formal methods Software engineering Programming Brazil Symposium
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Published on: 2009
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …

Formal methods Verification Software engineering Mathematical models Symposium
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Published on: 2011
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in …

Formal methods Software engineering Verification Brazil Symposium
Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim
Published on: 2001
Beginner Venture Capital English

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The …

Formal methods Networked systems Distributed systems IFIP conference Myungchul Kim
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Published on: 2010
Beginner Software Engineering English

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held …

Formal methods Theoretical computer science Programming languages Software engineering Mathematical models
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Published on: 2015
Beginner Set Theory English

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in …

Formal methods Programming theories Software design Mathematical models System behavior
Formal Aspects of Computing
Published on: 1991 January―1991 March
Unordered Computer Science and Theory English

Issues (Editions)YearIssue2020Volume: 3212-34-6Volume: ??????2019Volume: 31123456Volume: ??????2018Volume: 3112Volume: 30123-4562017Volume: 30125Volume: 291234562016Volume: 29123Volume: 281234562015Volume: 2812Volume: 272345-62014Volume: 271234Volume: 2623562013Volume: 26123456Volume: 2532012Volume: 26123Volume: 251356Volume: …

Formal methods Computing Semantics Verification Specification

Page of