Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
An Introduction to Practical Formal Methods Using Temporal Logic
Engelsk Hardback
An Introduction to Practical Formal Methods Using Temporal Logic
Engelsk Hardback

1.231 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
Product detaljer
Sprog:
Engelsk
Sider:
360
ISBN-13:
9780470027882
Indbinding:
Hardback
Udgave:
ISBN-10:
0470027886
Udg. Dato:
18 apr 2011
Længde:
24mm
Bredde:
174mm
Højde:
250mm
Forlag:
John Wiley & Sons Inc
Oplagsdato:
18 apr 2011
Forfatter(e):
Kategori sammenhænge