"synopsis" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642050305
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020214745
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642050305_lsuk
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 260 pp. Englisch. Seller Inventory # 9783642050305
Book Description Paperback. Condition: Brand New. 1st edition. 247 pages. 9.29x6.06x0.63 inches. In Stock. Seller Inventory # x-3642050301
Book Description Condition: New. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403. . 2009. Paperback. . . . . Seller Inventory # V9783642050305
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. Seller Inventory # 9783642050305
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642050305
Book Description Condition: New. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403. . 2009. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783642050305
Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Regular Papers.- Testing Real-Time Systems Using TINA.- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.- Testing k-Safe Petri Nets.- Implementing MSC Tests with Quiescence Observation.- Testing Timed Finite State M. Seller Inventory # 5044488