Capa do artigo Formal Methods In Computer Science

10% OFF

Formal Methods In Computer Science eBook

Name: Formal Methods In Computer Science
Price: 107.31 EUR
Author: William Tepfenhart e Jiacun Wang
ISBN: 9781498775335

by William Tepfenhart e Jiacun Wang

language: english

Publisher: CRC PRESS, June of 2019 ‧ see product details

(0)

be the first to comment

107,31€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

SYNOPSIS

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

DETAILS

Formal Methods In Computer Science

by William Tepfenhart e Jiacun Wang
Property	Description
ISBN:	9781498775335
Publisher:	CRC PRESS
Release Date:	June of 2019
Language:	English
Format:	eBook
File Format and Compatibility:	PDF para ADE
Collection:	Textbooks In Mathematics
Categories:	eBooks in English > Science > Mathematics
EAN:	9781498775335

BOOKS FROM THE SAME COLLECTION

Elementary Differential Equations

10%

Charles E. (Indiana State University, Terre Haute, Usa) Roberts Jr.andMiklos (University Of Florida, Gainesville, Usa) Bona

TAYLOR & FRANCIS LTD

118,01€ ~~131,12€~~

free shipping
A Tour Through Graph Theory

10%

Karin R. Saoub

TAYLOR & FRANCIS LTD

194,67€ ~~216,30€~~

free shipping
A Tour Through Graph Theory

10%

Karin R. Saoub

TAYLOR & FRANCIS LTD

72,99€ ~~81,10€~~

free shipping
Real And Complex Analysis

10%

Steve SuraceandChristopher Apelian

TAYLOR & FRANCIS LTD

91,24€ ~~101,38€~~

free shipping

SEE MORE TITLES FROM THIS COLLECTION

FROM THE SAME AUTHORS

JIACUN WANG

imagem não disponível

Timed Petri Nets

Timed Petri Nets

Jiacun Wang

Springer Nature B.V.

51,49€

SEE MORE TITLES BY THIS AUTHOR