![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) |
| Bild | | | | Bestellen |
![](/p.gif) |
|
98% |
|
Software Composition (1 Angebot) OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoadd... |
Springer Verlag 9783540773504 |
€ 49,99* pro Stück |
|
98% |
|
|
Springer Verlag 9783030415990 |
€ 49,99* pro Stück |
|
98% |
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this bo... |
Springer Verlag 9783030323035 |
€ 49,99* pro Stück |
|
98% |
|
Essential Visual Basic 5.0 Fast (1 Angebot) Visual Basic has sold over 4 million copies and is the most widely used development environment for creating Windows 95 applications. Developers enjoyed using the powerful, intuitive facilities in ... |
Springer Verlag 9783540761488 |
€ 49,99* pro Stück |
|
98% |
|
|
Springer Verlag 9783031556388 |
€ 139,99* pro Stück |
|
98% |
|
Reversible Computation (1 Angebot) 16th International Conference, RC 2024, Toru?, Poland, July 4-5, 2024, Proceedings |
Springer Verlag 9783031620751 |
€ 57,99* pro Stück |
|
98% |
|
Runtime Verification (1 Angebot) Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - Its Construction and Evaluation.- Runtime Verification of Safety-Progress ... |
Springer Verlag 9783642046933 |
€ 49,99* pro Stück |
|
98% |
|
Logic Programming '85 (1 Angebot) Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution uni... |
Springer Verlag 9783540164791 |
€ 49,99* pro Stück |
|
98% |
|
Hardware and Software: Verification and Testing (1 Angebot) These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading... |
Springer Verlag 9783642017018 |
€ 49,99* pro Stück |
|
98% |
|
Advanced Functional Programming (1 Angebot) Typing Haskell with an Attribute Grammar.- Programming with Arrows.- Epigram: Practical Programming with Dependent Types.- Combining Datatypes and Effects.- GEC: A Toolkit for Generic Rapid Prototy... |
Springer Verlag 9783540285403 |
€ 49,99* pro Stück |
|
98% |
|
|
Springer Verlag 9783540221760 |
€ 28,03* pro Stück |
|
98% |
|
Concurrency, Graphs and Models (1 Angebot) Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verifi... |
Springer Verlag 9783540686767 |
€ 99,99* pro Stück |
|
98% |
|
Structured Object-Oriented Formal Language and Method (1 Angebot) This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, Fr... |
Springer Verlag 9783319312194 |
€ 49,99* pro Stück |
|
98% |
|
Tests and Proofs (1 Angebot) 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings |
Springer Verlag 9783319411347 |
€ 49,99* pro Stück |
|
98% |
|
Future Internet Testing (1 Angebot) First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers |
Springer Verlag 9783319077840 |
€ 49,99* pro Stück |
|
|