Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 128,80
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 148,31
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 155,99
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 189,70
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand new! Please provide a physical shipping address.
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10 : 1848211430 ISBN 13 : 9781848211438
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Edition originale
EUR 182,49
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : 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. . . . .
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 189,49
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10 : 1848211430 ISBN 13 : 9781848211438
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 224,92
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : 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.