Formal Methods in Computer Science

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

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Taylor & Francis Inc

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

113.18 €

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

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2019

Stránok

294

EAN

9781498775328

ISBN

1498775322

Enbook ID

21332610

Vydavateľ

Taylor & Francis Inc

Hmotnosť

470

Rozmery

231 x 156 x 24

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods in Computer Science

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež