FORMAL METHODS FOUNDATIONS & APPLICA
CAVALHEIRO SIMONE
ISBN 10: 3319708473 ISBN 13: 9783319708478
Editore: Springer, 2017
Nuovi
Brossura
Da
Speedyhen LLC, Hialeah, FL, U.S.A.
Valutazione del venditore 2 su 5 stelle
Venditore AbeBooks dal 23 gennaio 2026
Questo libro è temporaneamente non disponibile. Di seguito abbiamo elencato copie simili.
Riguardo questo articolo
Descrizione:
Codice articolo NWUS9783319708478
Riassunto:
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.
The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Dalla quarta di copertina: The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: FORMAL METHODS FOUNDATIONS & APPLICA
Casa editrice: Springer
Data di pubblicazione: 2017
Legatura: Brossura
Condizione: NEW
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
FORMAL METHODS FOUNDATIONS AND APPLICA
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. Codice articolo NW9783319708478
Compra nuovo
EUR 53,50
Spedizione EUR 47,54
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo c83d9bf4a026259d6420422aa8bc63a9
Compra nuovo
EUR 58,23
Spedizione EUR 30,00
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 27 _ December 1, 2017, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-GRD-9783319708478
Compra nuovo
EUR 59,29
Spedizione EUR 17,96
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods : Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 27 ? December 1, 2017, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 30354129-n
Compra nuovo
EUR 60,74
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications
Editore:
Springer International Publishing AG, 2017
ISBN 10: 3319708473
ISBN 13: 9783319708478
Nuovo
PAP
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo GB-9783319708478
Compra nuovo
EUR 60,75
Spedizione EUR 24,93
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings | Simone Cavalheiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2017 | Springer | EAN 9783319708478 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 110908023
Compra nuovo
EUR 63,80
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ? December 1, 2017, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319708478_new
Compra nuovo
EUR 64,49
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods : Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 27 ? December 1, 2017, 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 30354129
Compra usato
EUR 64,51
Spedizione EUR 2,33
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer International Publishing AG, CH, 2017
ISBN 10: 3319708473
ISBN 13: 9783319708478
Nuovo
Paperback
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 1st ed. 2017. Codice articolo LU-9783319708478
Compra nuovo
EUR 66,01
Spedizione EUR 75,36
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods : Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 27 ? December 1, 2017, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 30354129
Compra usato
EUR 66,41
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili