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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 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.

SPIN Verification System

Name: SPIN Verification System
Brand: American Mathematical Society
SKU: 06408808
Price: 81.2 EUR
Availability: InStock
Author: American Mathem American Mathem
ISBN: 9780821806807

American Mathem American Mathem

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 06408808

Založba American Mathematical Society, maj 1997

What is Spin? Spin is a general tool for the specification and formal verification of software for d... Celoten opis

Koda Libristo: 06408808

196 b

81.20 €

50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

30 dni za vračilo blaga

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.