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

" Industrial use of formal methods "


Document Type : BL
Record Number : 608085
Doc. No : dltt
Title & Author : Industrial use of formal methods : formal verification /\ edited by Jean-Louis Boulanger.
Publication Statement : London :: ISTE ;Hoboken, N.J. :: Wiley,, 2012.
Page. NO : 1 online resource (xv, 298 p.) :: ill.
ISBN : 9781848213630
: : 1848213638
: : 9781299187078 (MyiLibrary)
Bibliographies/Indexes : Includes bibliographical references and index.
Subject : Systems engineering-- Data processing.
Subject : Computer simulation.
Subject : Formal methods (Computer science)
Subject : Computer software-- Verification.
Subject : Nondestructive testing.
Dewey Classification : ‭005.101‬
LC Classification : ‭TA168‬‭.I45 2012eb‬
Added Entry : Boulanger, Jean-Louis.
Added Entry : MyiLibrary.
copyhttps://lib.clisel.com/site/catalogue/608085
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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