» książki » Computers - Programming - Compilers
topmenu
 |
Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ISBN: 9783642272684 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes,...
|
cena:
203,13 |
 |
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783642288685 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and...
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 20...
|
cena:
203,13 |
 |
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
ISBN: 9783642288906 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault...
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in Ap...
|
cena:
203,13 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Confe
ISBN: 9783642287558 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model...
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
|
cena:
203,13 |
 |
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Pape
ISBN: 9783642291128 / Angielski / Miękka / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT...
|
cena:
203,13 |
 |
Models in Software Engineering: Workshops and Symposia at Models 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Pape
ISBN: 9783642296444 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you; multi-paradigm modeling; experiences and empirical studies in software modelling; models@run.time; model-driven engineering, verification and validation; comparing modeling approaches;...
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driv...
|
cena:
203,13 |
 |
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
ISBN: 9783642307928 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events.
Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012,...
|
cena:
203,13 |
 |
Definitive ANTLR 4 Reference
ISBN: 9781934356999 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on top. This completely rewritten new edition of the bestselling Definitive ANTLR Reference shows you how to take advantage of these new features. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file... |
cena:
173,37 |
 |
Programming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
ISBN: 9783642319143 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fast-track conference proceedings State-of-the-art research Up-to-date results
Fast-track conference proceedings State-of-the-art research Up-to-date results
|
cena:
186,92 |
 |
The Synthesizer Generator: A System for Constructing Language-Based Editors
ISBN: 9781461396253 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular languages. The book is intended for those with an interest in software tools and in methods for building interactive systems. It is a must for people who are using the Syn thesizer Generator to build editors because it provides extensive discussions of how to write editor specifications. The book should also be valuable for people who are building specialized editors "by hand," without using an editor generating tool. The need to manage the...
This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular la...
|
cena:
203,13 |
 |
The Modula-2 Software Component Library: Volume 1
ISBN: 9781468463705 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of reusable standard software components, could be the basis for every programmers software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with an adequate description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer this series of books might prove as...
This book is the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of reusable standar...
|
cena:
203,13 |
 |
Computing in Horn Clause Theories
ISBN: 9783642738265 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a unifying approach to semantical concepts and deductive methods used in recursive, equational and logic programming, data type specification and automated theorem-proving. The common background is Horn logic with equality. Although this logic does not cover the full first-order logic, it supplies us with a language that allows "natural" problem specifications, offers several semantical views (functional, relational, inductive, behavioural, etc.) and puts at our disposal a number of more or less special-purpose deductive methods, which can be used as rapid prototyping...
This book presents a unifying approach to semantical concepts and deductive methods used in recursive, equational and logic programming, data type spe...
|
cena:
203,13 |
 |
Algebraic Specifications in Software Engineering: An Introduction
ISBN: 9783642750328 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will...
"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by ind...
|
cena:
203,13 |
 |
Programming in Modula-2
ISBN: 9783642835674 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the 4th edition of a successful book which first appeared in 1982. It is an introduction to programming in general as well as a manual for programming with the language Modula-2 in particular. It is oriented primarily towards people who have already acquired some basic knowledge of programming and would like to deepen their understanding in a more structured way. Nevertheless, an introductory chapter is included for the benefit of the beginner, displaying in a concise form some of the fundamental concepts of computers and their programming. The text is therefore also suitable as a...
This is the 4th edition of a successful book which first appeared in 1982. It is an introduction to programming in general as well as a manual for pro...
|
cena:
203,13 |
 |
Softwaretechnik: Methodisches Programmieren Im Großen
ISBN: 9783642956256 / Niemiecki / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt den zentralen Bereich "Entwurf" der Softwaretechnik, n mlich der Erstellung und Modifikation von Softwarearchitekturen, um so die Struktur eines Softwaresystems vor ihrer Detailrealisierung festzulegen. Die Softwarearchitektur enth lt alle Grundlagen f r Qualit tseigenschaften des sp ter entstehenden Softwaresystems, insbesondere f r Wartbarkeit. Auf dieser Betrachtungsebene finden ferner alle substantiellen berlegungen zur Wiederverwendbarkeit statt. Hierzu werden geeignete Konzepte auf Architekturebene eingef hrt, eine geeignete Architekturbeschreibungssprache...
Das Buch behandelt den zentralen Bereich "Entwurf" der Softwaretechnik, n mlich der Erstellung und Modifikation von Softwarearchitekturen, um so die S...
|
cena:
208,82 |
 |
Implementation and Application of Functional Languages: 22nd International Symposium, Ifl 2010, Alphen Aan Den Rijn, the Netherlands, September 1-3, 2
ISBN: 9783642242755 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference The 13 revised full papers presented were carefully reviewed and were This book constitutes the thoroughly refereed post-conference |
cena:
203,13 |
 |
Mikrorechner: Architektur Und Programmierung
ISBN: 9783528043537 / Niemiecki / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch wendet sich an den "Neuling" auf dem Gebiet der Mikroprozessortechnik. Nach einer allgemein gehaltenen Einfiihrung, in der auf die binare Darstellungsweise von Information und die grundsatzliche Architektur eines Mikrorechnersystems eingegangen wird, stellen wir die Struktur von Maschinenbefehlen anhand des Befehlssatzes zweier M ikroprozessoren vor. Auf diesen Grundlagen bauen die nachsten Abschnitte auf: Die Programmierung des Mikroprozessors und die Hardwarekomponenten, die erst die Kommunikation mit dem System ermoglichen. SchlieBlich stellen wir Softwarehilfsmittel vor, die...
Dieses Buch wendet sich an den "Neuling" auf dem Gebiet der Mikroprozessortechnik. Nach einer allgemein gehaltenen Einfiihrung, in der auf die binare ...
|
cena:
208,82 |
 |
Anwenderhandbuch PageMaker: Version 3.0
ISBN: 9783528047061 / Niemiecki / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch vermittelt Ihnen das notige Grundlagenwissen flir die Arbeit mit PageMaker, angefangen von der Terminologie bis zu Layout- und Design iiberlegungen. Vorkenntnisse sind dabei kaum erforderlich. Nach einem kurzen Oberblick Qber die Hardware-Voraussetzungen wird die In stallation des Programmes beschrieben. Ein komplettes Tutorial flihrt Sie in 7 Tagen zur professionellen Beherrschung von PageMaker. Schritt flir .Schritt werden die wiehtigsten Methoden anhand einfacher Beispiele vorgestellt. Der Referenzteil bietet Ihnen PageMaker im Oberblick. Hier finden Sie alle Befehle und...
Dieses Buch vermittelt Ihnen das notige Grundlagenwissen flir die Arbeit mit PageMaker, angefangen von der Terminologie bis zu Layout- und Design iibe...
|
cena:
208,82 |
 |
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ISBN: 9783642344060 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011.
Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional La...
|
cena:
186,92 |
 |
Rewriting Logic and Its Applications: 9th International Workshop, Wrla 2012, Held as a Satellite Event of Etaps 2012, Tallinn, Estonia, March 24-25, 2
ISBN: 9783642340048 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and...
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRL...
|
cena:
186,92 |
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
