loading
Sách, tuyển tập

Logic and discrete mathematics : A computer science perspective / Winfried Karl Grassmann, Jean Paul Tremblay

Tác giả : Winfried Karl Grassmann, Jean Paul Tremblay

Nhà xuất bản : Prentice Hall

Năm xuất bản : 1996

Nơi xuất bản : New Jersey

Mô tả vật lý : ## ; 750p.

ISBN : 0 13 501206 6

Số phân loại : 005.1015113

Chủ đề : 1. Computer science - mathematics. 2. Công nghệ phần mềm.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Propositional calculus; Predicate calculus; Induction and recursion; Prolog; Sets and relations; More about functions; Graphs and trees; Formal requirement specification in Z; Program correctness proofs; Grammars languages, and parsing; Derivations; An overview of relational database systems.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện đại học Cần Thơ 91
 https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-23342.html

 

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Lập trình bằng C++ / Dương Tử Cường

Tác giả : Dương Tử Cường

Nhà xuất bản : KHKT

Năm xuất bản : 1998

placeholder+image

Sách, tuyển tập

Activex programming with visual C++ 5 : : Master three different methods of activex component creation / Jerry Anderson, John Berg, Michael Regelski

Tác giả : Jerry Anderson, John Berg, Michael Regelski

Nhà xuất bản : Que

Năm xuất bản : 1997

placeholder+image

Sách, tuyển tập

Win32 system services : The heart of windows 95 & windows NT / Mars hall Brain

Tác giả : Mars hall Brain

Nhà xuất bản : Prentice Hall PTR

Năm xuất bản : 1996

placeholder+image

Sách, tuyển tập

Framework - Based : Software development in C++ / Gregory F. Rogers

Tác giả : Gregory F. Rogers

Nhà xuất bản : Prentice Hall PTR

Năm xuất bản : 1997

placeholder+image

Sách, tuyển tập

Object-orientation and prototyping in software engineering / Gustav Pomberger, Gunther Blaschek

Tác giả : Gustav Pomberger, Gunther Blaschek

Nhà xuất bản : Prentice Hall

Năm xuất bản : 1996