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)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2018

331992611X / 9783319926117

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 80,51

Envío por EUR 12,00

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: 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)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2018

3319893653 / 9783319893655

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 93,81

Envío por EUR 15,00

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: 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)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2017

331951962X / 9783319519623

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 85,97

Envío por EUR 48,00

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: 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)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2015

3662466805 / 9783662466803

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 89,15

Envío por EUR 48,00

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: 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)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2006

3540373764 / 9783540373766

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 163,30

Envío por EUR 15,00

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

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

Filtrar la búsqueda

Baier christel editor (5 resultados)

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