ilość książek w kategorii: 10253
Extending KeY for the Verification of C Programs
ISBN: 9783639000023 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatically verified using verification systems like the KeY-System. The KeY-System is a software verification and testing system for Java that is developed by the research groups of Prof. Dr. Bernhard...
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of rese...
|
|
cena:
409,37 zł |
Memory Systems and Pipelined Processors
ISBN: 9780867204742 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer Architecture/Software Engineering
Computer Architecture/Software Engineering
|
|
cena:
911,64 zł |
Sdl '97: Time for Testing: Sdl, Msc and Trends
ISBN: 9780444828163 / Angielski / Twarda / 551 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.
SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong... As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger ...
|
|
cena:
1144,64 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer
ISBN: 9783540712084 / Angielski / Miękka / 740 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems. This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Sy... |
|
cena:
389,98 zł |
Sofsem 2008: Theory and Practice of Computer Science: 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slo
ISBN: 9783540775652 / Angielski / Miękka / 814 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented into four topical sections on foundations of computer science; computing by nature; networks, security, and cryptography; and Web technologies. This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, he... |
|
cena:
389,98 zł |
Unfoldings: A Partial-Order Approach to Model Checking
ISBN: 9783540774259 / Angielski / Twarda / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based... Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in fin... |
|
cena:
389,98 zł |
Algorithms and Models for the Web-Graph: Fourth International Workshop, Waw 2006, Banff, Canada, November 30 - December 1, 2006, Revised Papers
ISBN: 9783540788072 / Angielski / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The World Wide Web has become part of our everyday life and information retrieval and data mining on the Web are now of enormous practical interest. The algorithms supporting these activities combine the view of the Web as a text repository and as a graph, induced in various ways by links among pages, links among hosts, or other similar networks. The aim of the 4th Workshop on Algorithms and Models for the Web-Graph (WAW 2006)wasto further the understanding of these Web-induced graphsand stimulate the developmentofhigh-performancealgorithmsandapplicationsthat use the graph structure of the...
The World Wide Web has become part of our everyday life and information retrieval and data mining on the Web are now of enormous practical interest. T...
|
|
cena:
194,97 zł |
Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part of the Joint European Conferen
ISBN: 9783540784975 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 33 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 124 submissions. A broad variety of theories and methods to support analysis, synthesis, transformation and verification of programs and software systems are addressed,...
This book constitutes the refereed proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures, F...
|
|
cena:
194,97 zł |
Information Systems Development, Volume 2: Challenges in Practice, Theory, and Education
ISBN: 9780387785776 / Angielski / Twarda / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. This conference will discuss issues pertaining to information systems development (ISD) in the inter-networked digital economy. Participants will include researchers, both experienced and novice, from industry and academia, as well as students and practitioners. Themes will include methods and approaches... Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approac... |
|
cena:
585,00 zł |
Architecting Secure Software Systems
ISBN: 9781420087840 / Angielski / Twarda / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Traditionally, software engineers have defined security as a non-functional requirement. As such, all too often it is only considered as an afterthought, making software applications and services vulnerable to attacks. With the phenomenal growth in cybercrime, it has become imperative that security be an integral part of software engineering so that all software assets are protected and safe. Architecting Secure Software Systems defines how security should be incorporated into basic software engineering at the requirement analysis phase, continuing this sharp focus into... Traditionally, software engineers have defined security as a non-functional requirement. As such, all too often it is only considered as an afterth... |
|
cena:
610,47 zł |
Applications and Theory of Petri Nets: 29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008, Proceedings
ISBN: 9783540687450 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey...
This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ...
|
|
cena:
194,97 zł |
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings
ISBN: 9783540690955 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and...
The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering ...
|
|
cena:
350,98 zł |
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
ISBN: 9783540691631 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and application advances in the area. This volume contains the papers accepted for presentation at the 15th Inter- tional Static Analysis Symposium (SAS 2008), which was held July 16-18, 2008, in Valencia, Spain. The previous SAS conferences were held in...
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-perf...
|
|
cena:
194,97 zł |
Rails Pocket Reference: A Quick Guide to Rails
ISBN: 9780596520700 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rails 2.1 brings a new level of stability and power to this acclaimed web development framework, but keeping track of its numerous moving parts is still a chore. Rails Pocket Reference offers you a painless alternative to hunting for resources online, with brief yet thorough explanations of the most frequently used methods and structures supported by Rails 2.1, along with key concepts you need to work through the framework's most tangled corners. Rails 2.1 brings a new level of stability and power to this acclaimed web development framework, but keeping track of its numerous moving parts is ... |
|
cena:
64,21 zł |
Rails: Up and Running: Lightning-Fast Web Development
ISBN: 9780596522001 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In just a matter of days, you can develop powerful web applications with Rails that once took weeks or months to produce with other web frameworks. If that sounds too good to be true, it isn't. Find out for yourself with Rails: Up and Running, the concise and popular book that not only explains how Rails works, but guides you through a complete test drive. In just a matter of days, you can develop powerful web applications with Rails that once took weeks or months to produce with other web frameworks.... |
|
cena:
128,48 zł |
Advanced Information Systems Engineering
ISBN: 9783540695332 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier, France, in June 2008. This work presents papers organized in topical sections on duality and process modelling, interoperability of IS and enterprises, refactoring, and service evolution.
Constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier...
|
|
cena:
389,98 zł |
Computational Science and Its Applications-ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II
ISBN: 9783540698401 / Angielski / Miękka / 1282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008. The collection of fully refereed high-quality original works accepted as theme papers for presentation at ICCSA 2008 are published in this LNCS proceedings set. This outstanding collection complements the volume of workshop papers, traditionally published by IEEE Computer Society. The continuous support of computational science researchers has helped ICCSA to become a ?rmly...
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int-...
|
|
cena:
585,00 zł |
25 Years of Model Checking: History, Achievements, Perspectives
ISBN: 9783540698494 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium 25 Years of Model Checking, 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this...
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks...
|
|
cena:
136,47 zł |
Mediawiki: Wikipedia and Beyond
ISBN: 9780596519797 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "A good book It's a nice overview of wiki editing and administration, with pointers to handy extensions and further online documentation."-Brion Vibber, Chief Technical Officer, Wikimedia Foundation "A good book It's a nice overview of wiki editing and administration, with pointers to handy extensions and further online documentation."-Brion V... |
|
cena:
171,31 zł |
Open Source Systems Security Certification
ISBN: 9780387773230 / Angielski / Twarda / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Open Source Advances in Computer Applications book series provides timely technological and business information for: Enabling Open Source Systems (OSS) to become an integral part of systems and devices produced by technology companies; Inserting OSS in the critical path of complex network development and embedded products, including methodologies and tools for domain-specific OSS testing (lab code available), plus certification of security, dependability and safety properties for complex systems; Ensuring integrated systems,... Open Source Advances in Computer Applications book series provides timely technological and business information for: ... |
|
cena:
389,98 zł |