Catalog
Search
Search results
Show more results
Contact us
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Chat on site
Telegram
Viber
Call manager
Send an email
Books
Computing and Information Technology
Programming
Programming
Book
Program Proofs
K. Rustan M. Leino,
Kaleb Leino
Product code:
20663256
Books
Computing and Information Technology
Programming
Programming
Book
Program Proofs
K. Rustan M. Leino,
Kaleb Leino
Product code:
20663256
Format
To the waiting list
Book language
Publisher
Year of publication
Category
Programming
Computer programming / software engineering
Details
Author
K. Rustan M. Leino
,
Kaleb Leino
Publisher
MIT Press Ltd
Number of pages
496
Published
2023
Language
English
Illustrations
Not illustrated
Book type
Printed
Binding
Paperback
ISBN
9780262546232
Dimensions
178x229 мм
Compare size
Code
20663256
Show all
Reviews
Leave review
Do you have any questions?
0-800-335-425
Contact us
Not available
•
Printed book
Download
To the waiting list
