A Programming Approach to Formal Methods : Chris Casey

A Programming Approach to Formal Methods : Chris Casey

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Casey, Chris
Định dạng:	text
Ngôn ngữ:	eng
Thông tin xuất bản:	McGraw-Hill,
Chủ đề:	Control structures Modularity
Truy cập trực tuyến:	https://thuvien.huce.edu.vn/kiposdata1/anhbia/sachngoaivan/av/av950.jpgthumbimage.jpg https://thuvien.huce.edu.vn/Opac/DmdInfo.aspx?dmd_id=22885
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Nonlinear model predictive control for a heating and cooling system of a low-energy ofﬁce building
Thông tin tác giả:: Schirrer,Alexander

Recipes for Cost and Schedule Successes in Industrial Modular Projects: Qualitative Comparative Analysis
Thông tin tác giả:: Choi,Jin Ouk

Defining and Categorizing Modules in Building Projects: An International Perspective
Thông tin tác giả:: Gosling,Jonathan

Product Architecture Model for Multistory Modular Buildings
Thông tin tác giả:: Ramaji,Issa J.

On the Preservation for Quasi-Modularity of Field Extensions
Thông tin tác giả:: El Hassane Fliouet

Modular System Design and Evaluation
Thông tin tác giả:: Levin, Mark Sh
Thông tin xuất bản: (2015)

On smooth plane models for modular curves of Shimura type
Thông tin tác giả:: Samuele, Anni, và những người khác
Thông tin xuất bản: (2023)

Adjustable module for variable depth steel arch bridges /Y. Wang a , A.P. Thrall a, ⁎ , T.P. Zoli b
Thông tin tác giả:: Wang,Y.

Hàm số và dạng Modular
Thông tin xuất bản: (2014)

Fixed Point Theory in Modular Function Spaces
Thông tin tác giả:: Khamsi, Mohamed A, và những người khác
Thông tin xuất bản: (2015)

Over the water /Maude Casey.
Thông tin tác giả:: Casey, Maude.

Culture / Chris Jenks.
Thông tin tác giả:: Jenks, Chris.

Formal Methods for Discrete-Time Dynamical Systems
Thông tin tác giả:: Belta, Calin, và những người khác
Thông tin xuất bản: (2020)

Temporary structure design /Chris Souder.
Thông tin tác giả:: Souder, Chris,author.

Digital evidence and computer crime / Eoghan Casey.
Thông tin tác giả:: Casey, Eoghan

Crisis Investing for the Rest of the '90s / Douglas Casey
Thông tin tác giả:: Douglas Casey

CCSP SNPA ofﬁcial exam certiﬁcation guide (3rd ed)
Thông tin tác giả:: Gibbs, Michael, và những người khác
Thông tin xuất bản: (2015)

Television studies : the key concepts / Bernadette Casey ... [et al.].
Thông tin tác giả:: Casey, Bernadette.

Starter TOEIC /Anne Taylor, Casey Malarcher.
Thông tin tác giả:: Taylor, Anne, và những người khác

Formal Approaches to Agent-Based Systems
Thông tin xuất bản: (2020)

Sarter Toeic /Taylor Anne, Malarcher Casey
Thông tin tác giả:: Taylor Anne, Malarcher Casey

Exploring IBM e-business software : become an instant insider on IBM's Internet business tools / Young Casey.
Thông tin tác giả:: Casey, Young

Introduction to pathology for the physical therapist assistant / Jahangir Moini, Casey Chaney, Tobe Gillogly
Thông tin tác giả:: Moini, Jahangir, và những người khác

Starter TOEIC :Building TOEIC test-taking skills /Anne Taylor, Casey Malarcher
Thông tin tác giả:: Anne Taylor, Casey Malarcher

Decentralized Active Control of Multistory Civil Structure with Wireless Smart Sensor Nodes
Thông tin tác giả:: Linderman,Lauren E.

Formal Methods for Safety and Security. 1st ed. 2018
Thông tin tác giả:: Nanda, Manju, và những người khác
Thông tin xuất bản: (2020)

Men, masculinities, travel and tourism / Thomas Thurnell-Read ; Mark E Casey
Thông tin tác giả:: Thurnell-Read, Thomas, và những người khác

JSP and XML : integrating XML and web services in your JSP application / Casey Kochmer and Erica Frandsen.
Thông tin tác giả:: Kochmer, Casey., và những người khác

Cyber-physical flexible wing for aeroelastic investigations of stall and classical flutter /Casey Fagley n , Jürgen Seidel, Thomas McLaughlin
Thông tin tác giả:: Fagley,Casey

Windows forms programming in C# / Chris Sells.
Thông tin tác giả:: Sells, Chris.

A practical approach to WBEM/CIM management / Chris Hobbs.
Thông tin tác giả:: Hobbs, Chris

The archaeology of personhood : an anthropological approach / Chris Fowler.
Thông tin tác giả:: Fowler, Chris, 1973-

Design methods / John Chris Jones
Thông tin tác giả:: Jones, Jihn Chris

Evaluation of a metric camera system tailored for high precision UAV applications :
Thông tin tác giả:: Kraft, T.
Thông tin xuất bản: (2020)

Nonlinear Vibration with Control: For Flexible and Adaptive Structures
Thông tin tác giả:: Wagg, David, và những người khác
Thông tin xuất bản: (2015)

Foundations of Programming Languages. 2nd ed.
Thông tin tác giả:: Lee, Kent D.
Thông tin xuất bản: (2020)

Nonlinear loading of a two-dimensional heaving box /Marcos Rodriguez, Johannes Spinneken n , Chris Swan
Thông tin tác giả:: Rodriguez,Marcos, và những người khác

Định lý Casey và ứng dụng
Thông tin xuất bản: (2018)

The truth machine: Blockchain và tương lai của tiền tệ / Paul Vigna, Michael J. Casey ; Trinh Lan
Thông tin tác giả:: Vigna, Paul, và những người khác

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance
Thông tin tác giả:: Chen, Xiaoming
Thông tin xuất bản: (2020)