Formal Methods in Computer Science

Name: Formal Methods in Computer Science
Brand: Taylor & Francis Inc
SKU: 9781498775328
Price: 45698 HUF
Availability: InStock

Szerző: Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)

Nyelv:

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

Kiadó: Taylor & Francis Inc

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

Küldés 14-21 napon belül

45 698 Ft

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...

Információk a könyvről

Szerző

Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

294

EAN

9781498775328

ISBN

1498775322

Enbook ID

21332610

Kiadó

Taylor & Francis Inc

Súly

470

Méretek

231 x 156 x 24

Teljes leírás

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fund

É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

Formal Methods in Computer Science

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