Items related to Foundations of Software Science and Computational Structures...

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5504) - Softcover

 
9783642005954: Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5504)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Fine
Zustand: Sehr gut | Seiten: 488...
View this item

US$ 52.50 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Foundations of Software Science and Computational Structures...

Stock Image

Published by Springer, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020213720

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642005954_new

Contact seller

Buy New

US$ 70.28
Convert currency
Shipping: US$ 16.09
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 488. Seller Inventory # 26465590

Contact seller

Buy New

US$ 83.16
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Luca De Alfaro
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783642005954

Contact seller

Buy New

US$ 64.27
Convert currency
Shipping: US$ 26.83
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: 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. Seller Inventory # 7382377

Contact seller

Buy New

US$ 85.14
Convert currency
Shipping: US$ 8.73
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Unbekannt
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 5159118/12

Contact seller

Buy Used

US$ 47.81
Convert currency
Shipping: US$ 52.50
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Luca De Alfaro
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783642005954

Contact seller

Buy New

US$ 64.27
Convert currency
Shipping: US$ 36.93
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

de Alfaro Luca
Published by Springer, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 488. Seller Inventory # 18465596

Contact seller

Buy New

US$ 92.38
Convert currency
Shipping: US$ 11.61
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Alfaro, Luca De (Editor)
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 2009 edition. 471 pages. 9.29x6.06x1.10 inches. In Stock. Seller Inventory # x-3642005950

Contact seller

Buy New

US$ 94.69
Convert currency
Shipping: US$ 13.43
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Alfaro, Luca de
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642005950 ISBN 13: 9783642005954
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: 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. Seller Inventory # 5043150

Contact seller

Buy New

US$ 58.12
Convert currency
Shipping: US$ 57.15
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 4 more copies of this book

View all search results for this book