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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2018

331992611X / 9783319926117

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 78,20

EUR 11,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2018

3319893653 / 9783319893655

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 91,13

EUR 14,57 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2017

331951962X / 9783319519623

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,50

EUR 40,80 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2015

3662466805 / 9783662466803

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 86,59

EUR 40,80 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2006

3540373764 / 9783540373766

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 158,63

EUR 14,57 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

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

Baier christel editor (5 risultati)

Perfeziona la tua ricerca

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