Applications of Formal Methods

Summary

Applications of Formal Methods is a written work^[1].

Key Facts

• Applications of Formal Methods's instance of is recorded as written work^[2].
• Applications of Formal Methods's instance of is recorded as edited volume^[3].
• Applications of Formal Methods's editor is recorded as Michael Hinchey^[4].
• Applications of Formal Methods's editor is recorded as Jonathan Bowen^[5].
• Applications of Formal Methods's part of the series is recorded as Prentice Hall International Series in Computer Science^[6].
• Applications of Formal Methods's language of work or name is recorded as English^[7].
• Applications of Formal Methods's publication date is recorded as +1995-00-00T00:00:00Z^[8].
• Applications of Formal Methods's Open Library ID is recorded as OL19601104W^[9].
• Applications of Formal Methods's has edition or translation is recorded as Q134985896^[10].
• Applications of Formal Methods's main subject is recorded as formal methods^[11].
• Applications of Formal Methods's main subject is recorded as case study^[12].
• Applications of Formal Methods's title is recorded as Applications of Formal Methods^[13].

Body

Authorship and Creation

Editors include Michael Hinchey^[4] and Jonathan Bowen^[5].

Publication

Applications of Formal Methods's publication date is recorded as +1995-00-00T00:00:00Z^[8]. Its language of work or name is recorded as English^[7]. Its part of the series is recorded as Prentice Hall International Series in Computer Science^[6].

Subject and Themes

Main subjects include formal methods^[11] and case study^[12]. Applications of Formal Methods's part of the series is recorded as Prentice Hall International Series in Computer Science^[6].