Articoli correlati a Abstract State Machines, Alloy, B, TLA, VDM, and Z:...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings: 10817 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2018
- ISBN 10 3319912704
- ISBN 13 9783319912707
- RilegaturaCopertina flessibile
- Numero edizione1
- Numero di pagine448
- RedattoreButler Michael, Raschke Alexander, Hoang Thai Son, Reichl Klaus
Compra usato
Condizioni: come nuovoUnread book in perfect condition... Scopri di più su questo articolo
EUR 65,95
Spese di spedizione:
EUR 2,36
In U.S.A.
Compra nuovo
Scopri di più su questo articolo
EUR 52,44
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 58, 2018, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Print on DemandDa: booksXpress, Bayonne, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft Cover. Condizione: new. This item is printed on demand. Codice articolo 9783319912707
Quantità: 10 disponibili
Foto dell'editore
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings (Lecture Notes in Computer Science, 10817)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020112261
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 32724831-n
Quantità: 5 disponibili
Foto dell'editore
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings (Lecture Notes in Computer Science, 10817)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783319912707
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 32724831
Quantità: 5 disponibili
Foto dell'editore
Abstract State Machines; Alloy; B; TLA; VDM; and Z : 6th International Conference; ABZ 2018; Southampton; UK; June 5-8; 2018; Proceedings
Print on DemandDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783319912707_lsuk
Quantità: Più di 20 disponibili
Foto dell'editore
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26376476636
Quantità: 4 disponibili
Immagini fornite dal venditore
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Editore:
Springer International Publishing Mai 2018, 2018
ISBN 10: 3319912704
ISBN 13: 9783319912707
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 448 pp. Englisch. Codice articolo 9783319912707
Quantità: 2 disponibili
Immagini fornite dal venditore
Abstract State Machines, Alloy, B, Tla, Vdm, and Z : 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 32724831-n
Quantità: 5 disponibili
Foto dell'editore
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 369568771
Quantità: 4 disponibili