Books > Computers & Technology > Hardware & DIY > Microprocessors & System Design > Embedded Systems
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... I (Lecture Notes in Computer Science, 15219)
Product ID: 3031737083
Condition: New
$ 337
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... I (Lecture Notes in Computer Science, 15219)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
1.36907064702
Width
1
ReleaseDate
2024-10-09T00:00:01Z
NumberOfItems
1
You might also like
Die Bewässerung und Reinigung der Strassen Berlins (German Edition)
Dioptrische Untersuchungen von C. F. Gauss (German Edition)
Versuch einer objectiven Begründung der Lehre von den drei Dimensionen des Raumes (German Edition)
Die Lehre vom Unendlichen bei Aristoteles (German Edition)
Die Albuminurie im gesunden und kranken Zustande
Die Albuminurie im gesunden und kranken Zustande (German Edition)
Ferdinand Lassalle's letzte Rede (Eine persönliche Erinnerung). (German Edition)
Unterseen und seine Umgebung in historischer Beziehung (German Edition)