Bläddra

An Introduction to Practical Formal Methods Using Temporal Logic

av
Michael Fisher
, utgiven av: John Wiley & Sons, John Wiley & Sons

Bokinformation

Utgivningsår: 20110430 Isbn: 9780470027882 Utgivare: John Wiley & Sons Mediatyp: BC

Köp här

An Introduction to Practical Formal Methods Using Temporal Logic

av
Michael Fisher
, utgiven av: John Wiley & Sons, John Wiley & Sons
Köp här

Utgivningsår: 20110430 Isbn: 9780470027882 Utgivare: John Wiley & Sons Mediatyp: BC