topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Lambda Calculi
ISBN: 9780198538400 / Angielski / Miękka / 1994 / 176 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The Λ-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasises the proof theory for the type-free Λ-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability and the relationship between the Λ -calculus and Combinatoryh Logic. Chapter 7 presents a variety of typed calculi; first the simply typed Λ-calculus, then Milner-style...
The Λ-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence...
|
cena:
245,81 zł |
 |
Introducao ao calculo lambda
ISBN: 9781848900844 / Portugalski / Miękka / 2012 / 186 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significativa no desenho e implementacao de linguagens de programacao, em semantica denotacional, e em teoria de dominios. O livro da enfase a teoria da demonstracao do calculo lambda sem tipos. Os primeiros capitulos concentram-se neste calculo e abordam a teoria basica, reducoes, modelos, computabilidade e o relacionamento entre o calculo lambda e a logica combinatoria. O Capitulo 7 introduz o calculo lambda com tipos: primeiro o calculo lambda...
O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significati...
|
cena:
106,85 zł |
 |
Static Analysis: 12th International Symposium, SAS 2005, London, Uk, September 7-9, 2005, Proceedings
ISBN: 9783540285847 / Angielski / Miękka / 2005 / 380 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues new semantic models of programming languages and systems through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and...
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in ...
|
cena:
191,40 zł |
 |
Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Conferences on Theory and Practi
ISBN: 9783540643029 / Angielski / Miękka / 1998 / 289 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences o...
|
cena:
191,40 zł |
 |
Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
ISBN: 9783540610526 / Angielski / Miękka / 1996 / 452 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (generative) communication via a shared data space. Included with the book are posters.
These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (gene...
|
cena:
191,40 zł |
 |
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
ISBN: 9781860940033 / Angielski / Twarda / 1995 / 444 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
713,09 zł |
 |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 2010 / 452 str. Termin realizacji zamówienia: ok. 16-18 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:
191,40 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
