Isbn: 9783642169007 - formal methods and software engineering: 12th international conference on formal engineering methods, icfem 2010, shanghai, china, november 17-19, 2010, proceedings: 6447 (7 risultati)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 136,39
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 164,95
EUR 17,73 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Brand New. 712 pages. 9.20x6.10x1.10 inches. In Stock.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 220,07
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. pp. xiv + 709.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 118,50
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 122,06
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 712 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 227,35
EUR 7,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: New. pp. xiv + 709 Illus.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,00
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. 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 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with.…
