منو
رکورد قبلیرکورد بعدی

" Specifying systems : "


Document Type : BL
Record Number : 582653
Doc. No : b411872
Main Entry : Lamport, Leslie.
Title & Author : Specifying systems : : the TLA+ language and tools for hardware and software engineers / \ Leslie Lamport.
Page. NO : 1 online resource (xvi, 364 pages)
ISBN : 032114306X (pbk. : alk. paper)
Subject : Computer systems-- Specifications.
Subject : Logic, Symbolic and mathematical.
Subject : System design.
Dewey Classification : ‭004.2/1‬
copyhttps://lib.clisel.com/site/catalogue/582653
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟