Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Grāmatas - Taylor & Francis Ltd - 9780367225704 - 2019. gada 25. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)
Formal Methods in Computer Science - Textbooks in Mathematics 1. izdevums

Cena
€ 267,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. okt. - . gada 11. nov.
Saņemiet paziņojumus par jauniem Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

294 pages, 29 Tables, black and white; 154 Illustrations, black and white

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2019. gada 25. jūnijs
ISBN13 9780367225704
Izdevēji Taylor & Francis Ltd
Lapas 294
Izmēri 150 × 220 × 20 mm   ·   566 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)