Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods in Computer Science

Name: Formal Methods in Computer Science
Brand: Chapman and Hall/CRC
SKU: 40461559
Price: 102.74 EUR
Availability: InStock
Author: Jiacun Wang
ISBN: 9781498775359

Jiacun Wang

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Chapman and Hall/CRC, junij 2019

This textbook gives students a comprehensive introduction to formal methods and their application in... Celoten opis

Koda Libristo: 40461559

249 b

102.74 €

Na zalogi Prenesi zdaj

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi