10% OFF

Formal Methods In Computer Science eBook

by William Tepfenhart e Jiacun Wang
language: english
Publisher: CRC PRESS, June of 2019 ‧
107,31€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Formal Methods In Computer Science

by William Tepfenhart e Jiacun Wang

Property Description
ISBN: 9781498775359
Publisher: CRC PRESS
Release Date: June of 2019
Language: English
Format: eBook
File Format and Compatibility:
Collection: Textbooks In Mathematics
Categories: eBooks in English > Science > Mathematics
EAN: 9781498775359
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

BOOKS FROM THE SAME COLLECTION