[email protected]
Răspundem în 24 de ore
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
[email protected]
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Limba
engleză
engleză
Carte
Carte broșată
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State...
Descrierea completă
Codul Libristo: 19315860
?
154 b
154 b
305.45
lei
În depozitul extern în cantități mici
Expediem în 13-16 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
65.48
lei
/
Carte broșată
182.84
lei
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Informații despre carte
Titlu complet
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2018
Număr pagini
432
EAN
9783319912707
ISBN
3319912704
Codul Libristo
19315860
Greutatea
682
Dimensiuni
155 x 235 x 24
