» książki » Computers - Programming - Compilers
 |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781441954572 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
cena:
629,33 |
 |
Recent Advances in Formal Languages and Applications
ISBN: 9783642070099 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
cena:
629,33 |
 |
Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9781461377849 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
cena:
629,33 |
 |
Applications of Logic Databases
ISBN: 9781461359265 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
cena:
629,33 |
 |
Process Assessment and Improvement: A Practical Guide
ISBN: 9780387300443 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through process assessment, combined with people factors such as organizational culture and team-based improvement. Originally published in 2004 as the first practical guide to the emerging ISO/IEC 15504 standard, this second edition presents an updated version of process assessments and includes new risk methods. The book covers three major business reasons for process assessment: setting Target Profiles, Process Capability Determination, and Process... Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through proces... |
cena:
629,33 |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9780387401157 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
629,33 |
 |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9780792395379 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
cena:
629,33 |
 |
Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress – TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25–30, 2002, Montréal,
ISBN: 9781402071768 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the variability in software artifacts, and the importance of software in achieving the system-level properties. Software architecture provides the necessary abstractions for managing the resulting complexity. We here introduce the Third Working IEEFlIFIP Conference on Software Architecture, WICSA3. That it is already the third such conference is in...
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a co...
|
cena:
629,33 |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9780792396536 / Angielski / Twarda / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
629,33 |
 |
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
ISBN: 9789048193035 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as... More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about th... |
cena:
629,33 |
 |
Semantic Integration of Heterogeneous Software Specifications
ISBN: 9783642073069 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different... In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Be... |
cena:
629,33 |
 |
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
ISBN: 9789400733336 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as... More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about th... |
cena:
629,33 |
 |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9781461359302 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
cena:
629,33 |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
629,33 |
 |
Process Assessment and Improvement: A Practical Guide
ISBN: 9781489993304 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through process assessment, combined with people factors such as organizational culture and team-based improvement. Originally published in 2004 as the first practical guide to the emerging ISO/IEC 15504 standard, this second edition presents an updated version of process assessments and includes new risk methods. The book covers three major business reasons for process assessment: setting Target Profiles, Process Capability Determination, and Process... Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through proces... |
cena:
629,33 |
 |
C++ Template Metaprogramming in Practice: A Deep Learning Framework
ISBN: 9780367609566 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
663,29 |
 |
Principles and Practice of Constraint Programming: 14th International Conference, Cp 2008, Sydney, Australia, September 14-18, 2008, Proceedings
ISBN: 9783540859574 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14 18, 2008. The conference was held in conjunction with the International Conference on Automated Planning and Scheduling (ICAPS 2008) and the International Conference on Knowledge Representation and R- soning (KR 2008). Information about the conference can be found at the w- sitehttp: //www. unimelb. edu. au/cp2008/. Held annually, the CP conference series is the premier international conference on constraint...
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydne...
|
cena:
679,31 |
 |
Pattern Calculus: Computing with Functions and Structures
ISBN: 9783540891840 / Angielski / Twarda / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over time, basic research tends to lead to specialization increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation,...
Over time, basic research tends to lead to specialization increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in...
|
cena:
713,24 |
 |
Pascal User Manual and Report: ISO Pascal Standard
ISBN: 9780387976495 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. puter system. In 1971 one computer system had a Pascal compiler. By 1974 the number had grown to 10 and in 1979 there were more than 80. Pascal is always available on those ubiquitous breeds of computer systems: personal computers andl professional workstations. Questions arising out of the Southampton Symposium on Pascal in 1977 Reference 10] began the first organized effort to write an officially sanctioned, international Pascal Standard. Participants sought to consolidate the list of questions that naturally arose when people tried to implement Pascal compilers using definitions found in...
puter system. In 1971 one computer system had a Pascal compiler. By 1974 the number had grown to 10 and in 1979 there were more than 80. Pascal is alw...
|
cena:
713,24 |
 |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781402079900 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
cena:
726,13 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
