Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 52,51
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer Berlin Heidelberg, 2014
ISBN 10: 3662452332 ISBN 13: 9783662452332
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
Da: Best Price, Torrance, CA, U.S.A.
EUR 96,05
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Best Price, Torrance, CA, U.S.A.
EUR 96,05
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Buchpark, Trebbin, Germania
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 243,25
Usato - A partire da EUR 131,49
Scopri anche Rilegato
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 159,59
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Best Price, Torrance, CA, U.S.A.
EUR 148,19
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Best Price, Torrance, CA, U.S.A.
EUR 148,19
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Best Price, Torrance, CA, U.S.A.
EUR 191,63
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Books Puddle, New York, NY, U.S.A.
EUR 221,48
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 156.
Da: Best Price, Torrance, CA, U.S.A.
EUR 217,70
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Best Price, Torrance, CA, U.S.A.
EUR 217,70
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 243,25
Usato - A partire da EUR 287,92
Scopri anche Brossura
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 226,08
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
Da: Revaluation Books, Exeter, Regno Unito
EUR 242,07
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 180 pages. 9.26x6.11x0.55 inches. In Stock.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 253,62
Usato - A partire da EUR 275,19
Scopri anche Brossura