Tipo de artículo
Condición
Encuadernación
Más atributos
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro Impresión bajo demanda
Soft Cover. Condición: new. This item is printed on demand.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro Impresión bajo demanda
Soft Cover. Condición: new. This item is printed on demand.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer International Publishing Jul 2016, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware -The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games. 560 pp. Englisch.
Publicado por Springer International Publishing Jul 2016, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games. 540 pp. Englisch.
Publicado por Springer International Publishing Jul 2016, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware -The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games. 560 pp. Englisch.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 558.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 540.
Publicado por Springer, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand pp. 558.
Publicado por Springer International Publishing AG, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condición: New. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819. . 2016. Paperback. . . . .
Publicado por Springer International Publishing AG, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condición: New. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 558 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 848. . 2016. Paperback. . . . .
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 540 pages. 9.25x6.10x1.18 inches. In Stock.
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 560 pages. 9.25x6.10x1.27 inches. In Stock.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand pp. 540.
Publicado por Springer International Publishing Jul 2016, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
Publicado por Springer International Publishing Jul 2016, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
Publicado por Springer International Publishing, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presente.
Publicado por Springer International Publishing, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: moluna, Greven, Alemania
Libro
Condición: New. The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers prese.
Publicado por Springer International Publishing AG, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Libro
Condición: New. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819. . 2016. Paperback. . . . . Books ship from the US and Ireland.
Publicado por Springer International Publishing AG, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Libro
Condición: New. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 558 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 848. . 2016. Paperback. . . . . Books ship from the US and Ireland.
Publicado por Springer 2016-07, 2016
ISBN 10: 3319415271ISBN 13: 9783319415277
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer 2016-07, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer, 2016
ISBN 10: 3319415395ISBN 13: 9783319415390
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: As New. Unread book in perfect condition.