Finding Your Way Through Formal Verification

Name: Finding Your Way Through Formal Verification
Brand: Createspace Independent Publishing Platform
SKU: 9781986274111
Price: 131.87 RON
Availability: InStock

Autor: Bernard Murphy, Manish Pandey, Sean Safarpour

Limbă:

Legare: Carte broșată

Editura: Createspace Independent Publishing Platform

Disponibilitate: În depozitul extern

Expediem în 14-21 zile

131.87 lei

There are already many books on formal verification, from academic to application-centric, and from...

Informații despre carte

Autor

Bernard Murphy, Manish Pandey, Sean Safarpour

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2018

Pagini

134

EAN

9781986274111

ISBN

198627411X

Enbook ID

25648531

Editura

Createspace Independent Publishing Platform

Greutate

258

Dimensiuni

152 x 229 x 9

Descriere completă

There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. But most st

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Finding Your Way Through Formal Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și