Jardan

Asarin - Formal Modeling and Analysis of Timed Systems 4th Internati - T555z

Description: About this Item The item is a book paperback or softback The Author Name is Asarin, Eugene,Bouyer, Patricia The Title is Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings Condition New Other Comments Pages Count - 388. Binding type - Perfect. Content Language - English Category - COMPUTERS / Logic Design COMPUTERS / Software Development & Engineering / Systems Ana COMPUTERS / Languages / General We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details  are provided automatically  from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.   Gift IdeasThis is a  great Christmas gift idea.   Hours of ServiceWe have many warehouses,  some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 555z iHaveit SKU ID 162750662

Price: 63.24 GBP

Location: GB

End Time: 2025-02-10T13:30:39.000Z

Shipping Cost: 22.08 GBP

Product Images

Asarin - Formal Modeling and Analysis of Timed Systems   4th Internati - T555z

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 30 days

Return policy details:

Fiction/Non-Fiction: Non-Fiction

Genre/Subject: COMPUTERS / Logic Design

Brand: NA

Weight: 0.55

Style: NA

Title: Formal Modeling and Analysis of Timed Systems 4th International

Release Title: Formal Modeling and Analysis of Timed Systems 4th International

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Formal Modeling and Analysis of Timed Systems 4th Internationa

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Item Length: 233.93

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: 372 Pages

Publication Name: Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Language: English

Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG

Item Height: 235 mm

Subject: Computer Science

Publication Year: 2006

Type: Textbook

Item Weight: 1200 g

Author: Patricia Bouyer, Eugene Asarin

Item Width: 155 mm

Series: Theoretical Computer Science and General Issues

Format: Paperback

Recommended

Scabituff 5% Cream, 30g Each (Pack of 3)
Scabituff 5% Cream, 30g Each (Pack of 3)

$25.00

View Details
PRE BSS TELEPARTY Album POB Lucky draw Official Photocard Weverse Japan UMS HMV
PRE BSS TELEPARTY Album POB Lucky draw Official Photocard Weverse Japan UMS HMV

$5.99

View Details
Twice Nayeon Photocard | NA NEMO Special Version  (C)
Twice Nayeon Photocard | NA NEMO Special Version (C)

$11.99

View Details
NA Semax Amidate 10-30mg - 10ml Nasal Spray
NA Semax Amidate 10-30mg - 10ml Nasal Spray

$49.95

View Details
Goldwell Elumen Permanent Oxidant-Free Direct Dye
Goldwell Elumen Permanent Oxidant-Free Direct Dye

$24.95

View Details
Kohler P8304-KS-NA 1207976 Pressure Balancing  Body Cartridge Valve Kit
Kohler P8304-KS-NA 1207976 Pressure Balancing Body Cartridge Valve Kit

$35.55

View Details
DeWalt OEM NA033407  Miter Saw Dust Deflector  DWS779R DWS780-B2 DWS779 DWS780
DeWalt OEM NA033407 Miter Saw Dust Deflector DWS779R DWS780-B2 DWS779 DWS780

$8.73

View Details
MATRIX SOCOLOR Pre-Bonded Hair Color  | 3 oz | - Developer - Choose Yours
MATRIX SOCOLOR Pre-Bonded Hair Color | 3 oz | - Developer - Choose Yours

$14.45

View Details
Aveda Invati Advanced Thickening Foam 5 oz
Aveda Invati Advanced Thickening Foam 5 oz

$23.50

View Details
Tetrasodium EDTA - EDTA.4Na
Tetrasodium EDTA - EDTA.4Na

$20.00

View Details