Ditemukan 51 dokumen yang sesuai dengan query
Hutchings, Howard, author
Oxford: Newnes, 2001
005.712 62 HUT i
Buku Teks Universitas Indonesia Library
Ucoluk, Gokturk, author
The current text provides a clear introduction to computer science concepts in a programming environment. It is designed as suitable use in freshman- or introductory level coursework in CS and provides the fundamental concepts as well as abstract theorems for solving computational problems. The Python language serves as...
Wien: Springer, 2012
e20406688
eBooks Universitas Indonesia Library
Manna, Zohar, author
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
Fauzi Adi Rafrastara, author
Jakarta: Elex Media Komputindo, 2009
005.1 FAU m
Buku Teks Universitas Indonesia Library
Julius Hermawan, author
Yogyakarta: Andi , 2005
005.1 JUL m
Buku Teks Universitas Indonesia Library
Agus Naba, author
Yogyakarta: Andi, 2009
005.1 AGU b
Buku Teks Universitas Indonesia Library
Abdul Kadir, author
Yogyakarta: Andi, 2005
005.362 ABD p
Buku Teks Universitas Indonesia Library
Clarke, D., author
Chichester ; New York: Wiley, 1978
624.177 CLA c
Buku Teks Universitas Indonesia Library
Antoine Mine, editor
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...
Berlin: [, Springer-Verlag], 2012
e20410008
eBooks Universitas Indonesia Library
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
