Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 prevzemna mesta DPD in Express One.

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Name: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Brand: Springer
SKU: 41044781
Price: 156.84 EUR
Availability: InStock
Author: Nils Przigoda
ISBN: 9783319728148

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41044781

Založba Springer, januar 2018

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali... Celoten opis

Koda Libristo: 41044781

381 b

156.84 €

Na zalogi Prenesi zdaj

Morda bi vas zanimalo tudi

Baby Brain Andrea Paterson

Trda

13.99 €

Intensive Care Fundamentals Frantisek Duska

Mehka

52.17 €

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.