Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781489984449
Price: 38653 HUF
Availability: InStock

Szerző: SANDIP RAY

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

38 653 Ft

This book presents the latest approaches to formal verification techniques to seamlessly integrate d...

Információk a könyvről

Szerző

SANDIP RAY

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

243

EAN

9781489984449

ISBN

9781489984449

Enbook ID

09062296

Kiadó

Springer-Verlag New York Inc.

Súly

403

Méretek

155 x 235 x 15

Teljes leírás

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Scalable Techniques for Formal Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták