"synopsis" may belong to another edition of this title.
"About this title" may belong to another edition of this title.
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540343042
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020165575
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540343042_lsuk
Book Description Condition: New. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800. . 2006. Paperback. . . . . Seller Inventory # V9783540343042
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540343042
Book Description Condition: New. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800. . 2006. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783540343042
Book Description Kartoniert / Broschiert. Condition: New. Presents papers accompanying lectures given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software SystemsFocused on formal techniques for hardware verificationCovers many asp. Seller Inventory # 4888066