» książki » Computers - Languages - General
topmenu
 |
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:
603,81 |
 |
Lotosphere: Software Development with Lotos
ISBN: 9780792395294 / Angielski / Twarda / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques.
LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering... LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the lang...
|
cena:
603,81 |
 |
Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems
ISBN: 9780412788109 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest...
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, includi...
|
cena:
603,81 |
 |
Einstieg in HTML und Javascript: Mit vielen Beispielen und einfachen Browsergames
ISBN: 9783839107386 / Niemiecki / Miękka / 78 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch werden zunchst Grundlagen in HTML und Javascript vermittelt, mit denen man dynamische Webseiten erstellen kann. Danach wird beschrieben, wie man mit diesen Grundlagen Browsergames erstellen kann und es werden zwei Beispiele vorgestellt. Eines dieser Browsergames kann man sich unter der Adresse http://www.galaxieswar.de ansehen. Weitere Beispiele zum Buch findet man unter http://js-beispiele.galaxieswar.de.
In diesem Buch werden zunchst Grundlagen in HTML und Javascript vermittelt, mit denen man dynamische Webseiten erstellen kann. Danach wird beschrieben...
|
cena:
45,90 |
 |
Delphi 2009 Handbook
ISBN: 9781440480096 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The guide to what's new in CodeGear Delphi 2009 by best-selling Delphi author Marco Cantu.
The guide to what's new in CodeGear Delphi 2009 by best-selling Delphi author Marco Cantu.
|
cena:
193,57 |
 |
Delphi 2010 Handbook: A Guide to the New Features of Delphi 2010; upgrading from Delphi 2009
ISBN: 9781450597265 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The guide to what's new in Delphi 2010, from the best-selling author of the Mastering Delphi series and the Delphi 2007 and 2009 Handbooks. The book covers all the new features of Delphi 2010 for Win32, from Extended RTTI to new IDE features, from Windows 7 support to the improved DataSnap architecture. This is a brand new book, there is no overlapping material with the Delphi 2007 Handbook and Delphi 2009 Handbook (which you can consider buying along with this book in printed or electronic format). The Delphi 2010 Handbook is expected to have about 300 pages covering exclusively new Delphi...
The guide to what's new in Delphi 2010, from the best-selling author of the Mastering Delphi series and the Delphi 2007 and 2009 Handbooks. The book c...
|
cena:
173,61 |
 |
Understanding Programming Languages
ISBN: 9781451531169 / Angielski / Miękka / 98 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Understanding Programming Languages provides A comprehensive look at the design elements of programming languages. It will enable the developers, managers and architects to compre programming languages using the listed design elements to decide which language is the best suited to the solution being developed. It covers over 75 elements of programming languages. From imperative, functional, concurrent, domain-specific & multi-paradigm languages, type systems, continuations, currying, partial application, lambda expressions, turing completeness, virtual machine comparisons to name just a dozen...
Understanding Programming Languages provides A comprehensive look at the design elements of programming languages. It will enable the developers, mana...
|
cena:
119,73 |
 |
Distributed Intrusion
ISBN: 9783639241822 / Angielski / Miękka / 68 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
219,18 |
 |
Program Dependences, Slicing, and Verification
ISBN: 9783639228038 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and leveraging the dependences to improve development and maintenance tasks via program slicing (comprehension) and verification. The contents include new notions of control dependences that are suitable for modern program structures (e.g. non-terminating loops in reactive systems, exceptional control flow), a general algorithm to calculate data-based program dependences in concurrent programs, a parametric framework to describe program slicing...
This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and lever...
|
cena:
353,37 |
 |
An Overview of Project Management Tools
ISBN: 9783639243420 / Angielski / Miękka / 80 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides insight to some of the
modern techniques designed for the execution of various projects. In this book, Program Evaluation and Review Technique (PERT), and the Critical Path Method (CPM) which have been designed to plan, coordinate, and control the performance of activities that comprise complex projects are emphasized. When combined with applications of probability theory, PERT may be used to predict the duration of activities, and forecast the completion date of a project. ... This book provides insight to some of the
modern techniques designed for the execution of various projects. In this bo... |
cena:
219,18 |
 |
Delphi 2007 Handbook
ISBN: 9781442147034 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The guide to what's new in Delphi 2007 for Win32, from the best-selling author of the Mastering Delphi series. Source code and more information on http: //www.marcocantu.com/dh2007. The book covers changes in the CodeGear product, focusing on new features of the Delphi IDE, the Object Pascal languages, the RTL and VCL, the Vista support, the dbExpress architecture, and much more
The guide to what's new in Delphi 2007 for Win32, from the best-selling author of the Mastering Delphi series. Source code and more information on htt...
|
cena:
153,66 |
 |
Shape-Based Alias Analysis
ISBN: 9783639249651 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Shape analysis is a static code analysis
technique for discovering properties of heap-allocated data structures. Such information is crucial to find software bugs at compile-time or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as analyses cannot be compared directly due to different representations of analysis results. The aim of our work is to compare the precision of shape analyses by extracting ... Shape analysis is a static code analysis
technique for discovering properties of heap-allocated data structures. Such ... |
cena:
263,91 |
 |
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
ISBN: 9780521168755 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design,...
This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme ...
|
cena:
284,92 |
 |
Essential Pascal
ISBN: 9781440480119 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Essential Pascal is an introduction to the basic features of the Pascal language, as found in Delphi and other modern development tools, from the best selling author of Mastering Delphi.
Essential Pascal is an introduction to the basic features of the Pascal language, as found in Delphi and other modern development tools, from the best...
|
cena:
105,77 |
 |
Vergleich von Cross-Platform GUI-Toolkits
ISBN: 9783639251647 / Niemiecki / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Da es heutzutage immer wichtiger wird, Applikationen sowohl fur Windows als auch fur Mac OS X und Linux/Unix bereitzustellen, hangt der Aufwand fur eine Portierung der Applikation naturlich auch davon ab, welches Toolkit fur die grafische Oberflache verwendet wird. Die Verwendung proprietarer Toolkits, wie etwa der Microsoft Foundation Classes (MFC), kann eine Portierung sogar (fast) unmoglich machen. In solchen Fallen muss der Quellcode der Applikation oftmals erheblich geandert werden. Um dem schon vor Beginn der Applikationsentwicklung entgegenzuwirken, gibt es die Moglichkeit, ein...
Da es heutzutage immer wichtiger wird, Applikationen sowohl fur Windows als auch fur Mac OS X und Linux/Unix bereitzustellen, hangt der Aufwand fur ei...
|
cena:
219,18 |
 |
SQL Server 2008 Reporting Services im Silverlight 2 RIA-Umfeld
ISBN: 9783639252187 / Niemiecki / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In den letzten Jahren ist in vielen Unternehmen ein Trend zum Einsatz von Web-Applikationen als Alternative zu traditionellen Desktop-Applikationen zu erkennen. Microsoft hat mit Silverlight ein machtiges Werkzeug fur die Gestaltung von Oberflachen fur so genannte RIA (Rich Internet Applications) eingefuhrt. Es bietet .NET Entwicklern und Webdesignern vielfaltige Moglichkeiten, interaktive Anwendungen bis hin zu komplexen Business-Anwendungen im Internet bereit zu stellen. Dieses Buch evaluiert die Moglichkeiten bezuglich funktionaler Anforderungen an eine Applikation mit Silverlight und...
In den letzten Jahren ist in vielen Unternehmen ein Trend zum Einsatz von Web-Applikationen als Alternative zu traditionellen Desktop-Applikationen zu...
|
cena:
219,18 |
 |
Foundations of Component-Based Systems
ISBN: 9780521155694 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of top-notch articles by well-known experts brings together, for the first time, key elements of this area that are fast becoming the focus of much current research and practice in computing. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest comprise case studies by architects of prototype systems who present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and...
This collection of top-notch articles by well-known experts brings together, for the first time, key elements of this area that are fast becoming the ...
|
cena:
307,58 |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521169325 / Angielski / Miękka / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
cena:
447,79 |
 |
Embracing JBoss Seam
ISBN: 9783639252774 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the world of Java enterprise web applications, frameworks make it easier to develop and maintain complex multi-tiered applications. The purpose of the JBoss Seam framework is to unify layers into one huge consistent project mainly by implementing annotations. On the other hand, the use of complicated XML configuration files has been intentionally reduced to a minimum. Seam follows the philosophy of convention over configuration, which allows to run a project without configuration, if developers stick to naming conventions. The examination of the framework covered in this book includes the...
In the world of Java enterprise web applications, frameworks make it easier to develop and maintain complex multi-tiered applications. The purpose of ...
|
cena:
263,91 |
 |
Konzept für Semantic E-Mail Client in Unterricht/Schule
ISBN: 9783639254464 / Niemiecki / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. E-Mails, Instant Messenger und andere Kommunikationsdienste gehoren zu unserem Alltag und dieser scheint immer schwerer fur SchulerIinnen ohne diese Anwendungen zu bewaltigen zu sein. Diese Technologien, Umgang mit E-Mail Client, Wissen Verarbeitung am Personal Computer, Internet Zugang, etc. tun manche SchulerInnen schwer. Im Unterricht spielen E-Mails eine grosse Rolle und es sollen wichtige Aspekte des Mailschreibens mit den Kindern erarbeitet werden. Ich finde es wichtig, dass die SchulerInnen ein einfaches und integriertes E-Mail Programm haben, mit dem sie leicht arbeiten konnen. Diese...
E-Mails, Instant Messenger und andere Kommunikationsdienste gehoren zu unserem Alltag und dieser scheint immer schwerer fur SchulerIinnen ohne diese A...
|
cena:
263,91 |
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
