Iskanje po avtorju: Michael Fisher
Urejeno po: naslovu.
Izberite urejanje zadetkov: datum izida naslov
An Introduction to Practical Formal Methods Using Temporal Logic
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book.
izid: april 2011
Skupaj zadetkov: 1; 1. stran od skupaj 1 strani.