» książki » Computers - Programming - Compilers
topmenu
 |
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
ISBN: 9783642150562 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment, toolevolution,...
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of t...
|
cena:
209,75 |
 |
Systems, Software and Services Process Improvement
ISBN: 9783642156656 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a European knowledge and experience exchange mechanism for SPI and innovation. " Since its beginning in 1994 in Dublin, the EuroSPI initiative has outlined that there is not a single silver bullet to solve SPI issues, but that you need to understand a c- bination of different SPI methods and approaches to achieve concrete benefits. The- fore each proceedings volume covers a variety of different topics, and at the conf- ence we discuss potential...
A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a Eur...
|
cena:
209,75 |
 |
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
ISBN: 9783642152962 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling, andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital...
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010...
|
cena:
209,75 |
 |
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
ISBN: 9783642161445 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010.The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven...
This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Langu...
|
cena:
209,75 |
 |
Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held as a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 201
ISBN: 9783642163098 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.
Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event o...
|
cena:
209,75 |
 |
Architecting Dependable Systems VII
ISBN: 9783642172441 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security.This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting...
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be con...
|
cena:
209,75 |
 |
Formal Methods for Components and Objects
ISBN: 9783642170706 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their...
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the de...
|
cena:
209,75 |
 |
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ISBN: 9783642183775 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability...
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in A...
|
cena:
209,75 |
 |
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
ISBN: 9783642171635 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected fro...
|
cena:
209,75 |
 |
Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ISBN: 9783642192074 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the...
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering,...
|
cena:
209,75 |
 |
Autonomics Development: A Domain-Specific Aspect Language Approach
ISBN: 9783034605397 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution and distribution recovery concerns. This approach simplifies distributed systems and autonomics development. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution a... |
cena:
209,75 |
 |
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991
ISBN: 9783540197805 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z 3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O. fx = x + 1 (i) "f x: 1 x O. fx = x + 2 (ii) is inconsistent,...
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the e...
|
cena:
209,75 |
 |
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, Usa, 13-15 July 1992
ISBN: 9783540198048 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial trial firms are interested in using it in their system development programs. It differs from the other higher profile file languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a...
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and seve...
|
cena:
209,75 |
 |
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
ISBN: 9783540401902 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime...
The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together r...
|
cena:
209,75 |
 |
Introduction to Programming with Modula-2
ISBN: 9783540520382 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.
Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors ...
|
cena:
209,75 |
 |
Pascal-Xsc: Language Reference with Examples
ISBN: 9783540551379 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of...
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The...
|
cena:
209,75 |
 |
Transactions on Pattern Languages of Programming II: Special Issue on Applying Patterns
ISBN: 9783642194313 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, the second in the Transactions on Pattern Languages of Programming series, presents five papers demonstrating techniques for applying patterns in industrial or research settings. Their content demonstrates the broadening diversity of the field.
This book, the second in the Transactions on Pattern Languages of Programming series, presents five papers demonstrating techniques for applying patte...
|
cena:
209,75 |
 |
Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
ISBN: 9783642195945 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2010, held in Houston, TX, USA, in October 2010. The 18 revised full papers presented were carefully reviewed and selected from 47 submissions. The scope of the workshop spans foundational results and practical experience, and targets all classes of parallel platforms including concurrent, multithreaded, multicore, accelerated, multiprocessor, and cluster systems.
This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, L...
|
cena:
209,75 |
 |
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ISBN: 9783642198281 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal,...
|
cena:
209,75 |
 |
Practical Usage of TSO REXX
ISBN: 9781852332617 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. REXX is a general purpose language which is easy to learn. It contains an extensive library of powerful functions which greatly reduces the amount of coding necessary to write applications. The use of REXX in a wide range of environments simplifies the writing of applications to run under different hardware and operating systems, and its expansibility allows other components to make sure of REXX facilities and vice versa.
Practical Usage of TSO REXX provides a concise source of information for the development and implication of applications using the REXX language. The author adopts a... REXX is a general purpose language which is easy to learn. It contains an extensive library of powerful functions which greatly reduces the amount of ...
|
cena:
209,75 |
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
