Search Results - "formal methods"

Practical formal methods with VDM by Andrews, D. (Derek), Ince, Darrel

Z an introduction to formal methods by Diller, Antoni

Subjects: “…Formal methods (Computer science)…”
Table of Contents

VDM '90 VDM and Z - formal methods in software development by Bjorner, D. (Dines) 1937-, Hoare, C. A. R. (Charles Antony Richard) 1934-, Langmaack, Hans

Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays by Bjorner, D. (Dines) 1937-, Zhou, Chaochen 1937-

Table of contents

Dynamic logic [electronic resource] by Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Subjects: An electronic book accessible through the World Wide Web; click for information

Formal specification using Z by Lightfoot, David 1951-

Subjects:

Formal engineering for industrial software development using the SOFL method by Liu, Shaoying 1960-

Subjects: Table of contents only

Fuzzy computational ontologies in contexts formal models of knowledge representation with membership degree and typicality of objects, and their applications by Yi, Cai, Ching-Man Au, Yeung, Ho-Fung, Leung

Subjects: “…Formal methods (Computer science)…”