wyszukanych pozycji: 10
Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So
ISBN: 9783030171377 / Angielski / Miękka / 2019 / 249 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
ML with Concurrency: Design, Analysis, Implementation, and Application
ISBN: 9781461274834 / Angielski / Miękka / 2011 / 255 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.
Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standa...
|
|
cena:
193,19 zł |
Formal Methods: An Appetizer
ISBN: 9783030051556 / Angielski / Twarda / 2019 / 160 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Principles of Security and Trust
ISBN: 9781013271281 / Angielski / Miękka / 2020 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
215,88 zł |
Principles of Security and Trust
ISBN: 9781013271298 / Angielski / Twarda / 2020 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
271,06 zł |
Principles of Program Analysis
ISBN: 9783540654100 / Angielski / Twarda / 1999 / 452 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
|
|
cena:
289,80 zł |
Semantics with Applications: An Appetizer
ISBN: 9781846286919 / Angielski / Miękka / 2007 / 274 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas... Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need... |
|
cena:
135,06 zł |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 2010 / 452 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the...
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu...
|
|
cena:
193,19 zł |
Two-Level Functional Languages
ISBN: 9780521018470 / Angielski / Miękka / 2005 / 312 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the...
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ...
|
|
cena:
302,85 zł |
Two-Level Functional Languages
ISBN: 9780521403849 / Angielski / Twarda / 1992 / 312 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the...
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ...
|
|
cena:
606,96 zł |