Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
EUR 39,79
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
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 - This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2009, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,87
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 70,25
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 741. . 2009. Paperback. . . . .
Da: Best Price, Torrance, CA, U.S.A.
EUR 48,31
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
EUR 69,87
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 488.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 61,44
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,56
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 70,81
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 488 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 72,88
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 488.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 86,89
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 741. . 2009. Paperback. . . . . Books ship from the US and Ireland.
Editore: Springer-Verlag New York Inc, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,40
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2009 edition. 471 pages. 9.29x6.06x1.10 inches. In Stock.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 52,71
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
EUR 56,20
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 114,32
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 48,37
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theo.
Editore: Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. 488 pp. Englisch.