Formal Syntax and Semantics of Programming Languages pdf epub mobi txt 電子書下載2025

☆☆☆☆☆

About Ken SlonnegerKen Slonnegeris an Assistant Professor at the University of Iowa where he currently serves as the Associate Chair of the Department of Computer Science. After receiving his Ph.D. in Mathematics from the University of Illinois, Professor Slonneger taught for a number of years at the SUNY College at Fredonia, NY before coming to Iowa. His current research focuses on formal methods of speciying the semantics of programming languages and on making these methods more practical and easier to use.Barry Kurtz is Professor and Head of Computer Science at Louisiana Tech University. He received his B.S. degree from the University of California, Riverside, and his Ph.D. from the University of California, Berkeley. As Principal Investigator on three National Science Foundation grants, Dr. Kurtz is an active researcher in the development of innovative curricula in Computer Science. He is also co-author of textbooks for introductory programmming and data structures courses.

出版者:Addison Wesley Longman

作者:Kenneth Slonneger

出品人:

頁數:0

译者:

出版時間:1994-09

價格:USD 39.95

裝幀:Hardcover

isbn號碼:9780201656978

叢書系列:

圖書標籤:

計算語言學
計算機
語言
編程
形式化
邏輯
語言學
語義

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text.