Baier Christel Editor

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques

Baier, Christel (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2018

331992611X / 9783319926117

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 65.24

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 212 pages. 9.25x6.10x0.55 inches. In Stock.

Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloni

Baier, Christel (Editor)/ Dal Lago, Ugo (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2018

3319893653 / 9783319893655

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 76.02

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 600 pages. 9.25x6.10x1.85 inches. In Stock.

Sofsem 2017: Theory and Practice of Computer Science, Proceedings

Steffen, Bernhard (Editor)/ Baier, Christel (Editor)/ van den Brand, Mark (Editor)/ Eder, Johann (Editor)/ Hinchey, Mike (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2017

331951962X / 9783319519623

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 69.65

£ 35.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 544 pages. 9.25x6.10x1.23 inches. In Stock.

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015

Baier, Christel (Editor)/ Tinelli, Cesare (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2015

3662466805 / 9783662466803

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 72.25

£ 35.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2015 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock.

CONCUR 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006 : Proceedings

Baier, Christel (Editor)/ Hermanns, Holger (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2006

3540373764 / 9783540373766

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 132.35

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 523 pages. 9.00x6.00x1.25 inches. In Stock.

Baier Christel Editor (5 results)

Refine your search

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques

Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloni

Sofsem 2017: Theory and Practice of Computer Science, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015

CONCUR 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006 : Proceedings