La Milano

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

Margaria - Leveraging Applications of Formal Methods Verification an - S9000z

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

Recommended

Aragoto Senkenbutai NA2-JSA Infinity
Aragoto Senkenbutai NA2-JSA Infinity

$33.21

View Details
Micro Turbo 1:64 Eunos Roadster NA Mazda MX-5 Customized Version Blue
Micro Turbo 1:64 Eunos Roadster NA Mazda MX-5 Customized Version Blue

$29.99

View Details
TWICE Nayeon The 2nd Mini Album NA Digipack Photocard Postcard Poster ABCD
TWICE Nayeon The 2nd Mini Album NA Digipack Photocard Postcard Poster ABCD

$0.99

View Details
O-Yoroi Pilot NA2-JSA Infinity
O-Yoroi Pilot NA2-JSA Infinity

$15.02

View Details
Outlander Season-7 (DVD 4-Disc)  Brand New Sealed Fast Shipping Region 1 US
Outlander Season-7 (DVD 4-Disc) Brand New Sealed Fast Shipping Region 1 US

$8.48

View Details
602 Crate Racing Motor Break Off Bolt Seal Kit
602 Crate Racing Motor Break Off Bolt Seal Kit

$189.99

View Details
TOKUYAMA REBASE II KIT- Chairside Hard Denture Reline Material FREE II SHIP
TOKUYAMA REBASE II KIT- Chairside Hard Denture Reline Material FREE II SHIP

$86.99

View Details
New NS-RC4NA-14 For All INSIGNIA TV Remote Control NS-19E310NA15 NS22E400NA14
New NS-RC4NA-14 For All INSIGNIA TV Remote Control NS-19E310NA15 NS22E400NA14

$6.44

View Details
New NA50 Replacement Battery For Motorola Edge+ Plus 2022 XT2201-3 4800mAh
New NA50 Replacement Battery For Motorola Edge+ Plus 2022 XT2201-3 4800mAh

$20.99

View Details
O-Yoroi Kidobutai NA2-JSA Infinity
O-Yoroi Kidobutai NA2-JSA Infinity

$37.31

View Details