Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)

ISBN 10: 3319498142 ISBN 13: 9783319498140
Editore: Springer, 2016
Nuovi Brossura

Da Best Price, Torrance, CA, U.S.A. Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 30 agosto 2024

Questo articolo specifico non è più disponibile.
Visualizza gli articoli del venditore Crea un desiderata per articoli simili

Riguardo questo articolo

Descrizione:

SUPER FAST SHIPPING. Codice articolo 9783319498140

Segnala questo articolo

Riassunto:

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.


Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Formal Methods: Foundations and Applications...
Casa editrice: Springer
Data di pubblicazione: 2016
Legatura: Brossura
Condizione: New

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Ribeiro, Leila|Lecomte, Thierry
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 19th Brazilian&nbspSymposium on Formal Methods, SBMF 2016, which took place in Natal,&nbspBrazil, in November 2016.The 12 papers presented together with two invited talks. Codice articolo 132284981

Contatta il venditore

Compra nuovo

EUR 48,37
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Thierry Lecomte (u. a.)
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Taschenbuch

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Formal Methods: Foundations and Applications | 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | Thierry Lecomte (u. a.) | Taschenbuch | x | Englisch | 2016 | Springer International Publishing | EAN 9783319498140 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 107921871

Contatta il venditore

Compra nuovo

EUR 50,35
Spese di spedizione: EUR 70,00
Da: Germania a: U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020098947

Contatta il venditore

Compra nuovo

EUR 52,77
Spese di spedizione: EUR 3,43
In U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Thierry Lecomte
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. Codice articolo 9783319498140

Contatta il venditore

Compra nuovo

EUR 53,49
Spese di spedizione: EUR 60,00
Da: Germania a: U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Thierry Lecomte
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. Codice articolo 9783319498140

Contatta il venditore

Compra nuovo

EUR 53,49
Spese di spedizione: EUR 62,03
Da: Germania a: U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Thierry Lecomte
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. 264 pp. Englisch. Codice articolo 9783319498140

Contatta il venditore

Compra nuovo

EUR 53,49
Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ribeiro, Leila (EDT); Lecomte, Thierry (EDT)
Editore: Springer, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 28156910-n

Contatta il venditore

Compra nuovo

EUR 53,96
Spese di spedizione: EUR 2,27
In U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Ribeiro, Leila (EDT); Lecomte, Thierry (EDT)
Editore: Springer, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 28156910-n

Contatta il venditore

Compra nuovo

EUR 57,29
Spese di spedizione: EUR 16,99
Da: Regno Unito a: U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783319498140_new

Contatta il venditore

Compra nuovo

EUR 57,30
Spese di spedizione: EUR 13,57
Da: Regno Unito a: U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Ribeiro, Leila (Editor)/ Lecomte, Thierry (Editor)
ISBN 10: 3319498142 ISBN 13: 9783319498140
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 264 pages. 9.25x6.10x0.60 inches. In Stock. Codice articolo x-3319498142

Contatta il venditore

Compra nuovo

EUR 77,77
Spese di spedizione: EUR 28,31
Da: Regno Unito a: U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro