Jayadev Misra – författare
Visar alla böcker från författaren Jayadev Misra. Handla med fri frakt och snabb leverans.
12 produkter
Discipline of Multiprogramming
Programming Theory for Distributed Applications
Inbunden, 2001
567 kr
Lägg i varukorg
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major …
Discipline of Multiprogramming
Programming Theory for Distributed Applications
E-bok, 2012
755 kr
Lägg i varukorg
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major …
Theories of Programming
The Life and Works of Tony Hoare
Av Cliff B. Jones, Jayadev Misra
Inbunden, 2021
707 kr
Lägg i varukorg
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori …
Theories of Programming
The Life and Works of Tony Hoare
Av Cliff B. Jones, Jayadev Misra
Häftad, 2021
483 kr
Lägg i varukorg
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori …
Theories of Programming
The Life and Works of Tony Hoare
Av Jayadev Misra, Cliff B. Jones
E-bok, 2021
381 kr
Lägg i varukorg
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have been widely recognised: He was awarded the ACM’s Turing Award in 1980, the Kyoto Prize from the …
Theories of Programming
The Life and Works of Tony Hoare
Av Jayadev Misra, Cliff B. Jones
E-bok, 2021
381 kr
Lägg i varukorg
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have been widely recognised: He was awarded the ACM’s Turing Award in 1980, the Kyoto Prize from the …
Effective Theories in Programming Practice
Häftad, 2022
512 kr
Lägg i varukorg
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms …
Effective Theories in Programming Practice
Inbunden, 2022
771 kr
Lägg i varukorg
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms …
Effective Theories in Programming Practice
E-bok, 2022
474 kr
Lägg i varukorg
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed . This textbook explains a number of those fundamental …
Discipline of Multiprogramming
Programming Theory for Distributed Applications
Häftad, 2012
567 kr
Lägg i varukorg
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Jayadev Misra, Tobias Nipkow m. fl.
Häftad, 2006
1127 kr
Lägg i varukorg
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Emil Sekerinski, Tobias Nipkow m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
