Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 128,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 148,31
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 155,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ubiquity Trade, Miami, FL, Estados Unidos de America
EUR 189,70
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand new! Please provide a physical shipping address.
Idioma: Inglés
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10: 1848211430 ISBN 13: 9781848211438
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Original o primera edición
EUR 182,49
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Editor(s): Jard, Claude; Roux, Olivier H. Series: ISTE. Num Pages: 288 pages, Illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 20. Weight in Grams: 546. . 2009. 1st Edition. Hardcover. . . . .
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 189,49
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10: 1848211430 ISBN 13: 9781848211438
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 224,92
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Editor(s): Jard, Claude; Roux, Olivier H. Series: ISTE. Num Pages: 288 pages, Illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 20. Weight in Grams: 546. . 2009. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.