Margaria - Leveraging Applications of Formal Methods Verification an - S9000z

Description: Comments - Pages Count - 00428. This item is NOT Returnable. 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. Location ID 9000z iHaveit SKU ID 167677045

Price: 108.98 USD

Location: US

End Time: 2024-11-27T12:46:14.000Z

Shipping Cost: 0 USD

Product Images

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Brand: NA

Style: NA

Artist: MargariaTiziana

Title: Leveraging Applications of Formal Methods Verification and Valid

Release Title: Leveraging Applications of Formal Methods Verification and Valid

Record Label: SPRINGER

Record Grading: New

Sleeve Grading: New

Film/TV Title: Leveraging Applications of Formal Methods Verification and Valid

Movie/TV Title: Leveraging Applications of Formal Methods Verification and Vali

UPC: 9783031737084

EAN: 9783031737084

Item Height: 0.0

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: Xv, 428 Pages

Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium : 12th International Symposium, Isola 2024, Crete, Greece, October 27-31, 2024, Proceedings

Language: English

Publisher: Springer

Subject: Systems Architecture / General, Software Development & Engineering / General, Computer Science

Publication Year: 2024

Type: Textbook

Item Length: 9.3 in

Subject Area: Computers

Author: Bernhard Steffen

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback