Proof in Vdm
Subtitle: Case Studies (Formal Approaches to Computing and Information Technology)
Contributors: Juan C. Bicarregui (Editor); Sten Agerholm (Editor)
Publisher: Springer-Verlag Telos
Published: June 1998
Language: eng
Format: Paperback
Number of pages: 208
ISBN-13: 9783540761860
Subjects: Software engineering; Formal Language Theory; Computer Science; Automata; Programming - General; Computers; Computers - Languages / Programming; Development; Computer Books: General; Computer software; Logic; Automatic theorem proving; Case studies