storiet v.2

theme

voice

language

sign in
Cover of Programming Concepts and Methods PROCOMET '98

a novel ·

Programming Concepts and Methods PROCOMET '98

by

This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including …

start reading + shelf
  • ● 95% match for you
  • ● science & technology

the long version

This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.

M

Margaret's verdict

"This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop …"

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.