Angličtina

Kompilátory

Kompilátory 

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642340253
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642340314
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Testing Software and Systems

Testing Software and Systems

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642346903
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Runtime Verification

Runtime Verification

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642356315
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Formal Aspects of Component Software

Formal Aspects of Component Software

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642358609
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 346 Kč -10 %
Generative and Transformational Techniques in Software Engineering IV

Generative and Transformational Techniques in Software Engineering IV

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642359910
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering

Horebeek Ivo Van
AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642750328
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Foundations of Logic Programming

Foundations of Logic Programming

Lloyd John W.
AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642831911
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
3 510 Kč -10 %
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642192364
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Search Based Software Engineering

Search Based Software Engineering

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642397417
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Reachability Problems

Reachability Problems

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642410352
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 346 Kč -10 %
Software Engineering Techniques

Software Engineering Techniques

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642223853
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Runtime Verification

Runtime Verification

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642407864
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Functional Programming, Glasgow 1992

Functional Programming, Glasgow 1992

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540198208
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Logic Grammars

Logic Grammars

Abramson Harvey
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781461281887
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Model Checking Software

Model Checking Software

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642223051
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Programming for Software Sharing

Programming for Software Sharing

AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789400971479
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Combinatorial Programming: Methods and Applications

Combinatorial Programming: Methods and Applications

AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789401175593
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Programming Languages and Systems

Programming Languages and Systems

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783319035413
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642452833
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 346 Kč -10 %
From Programs to Systems - The Systems Perspective in Computing

From Programs to Systems - The Systems Perspective in Computing

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642548475
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
Tisk na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 404 Kč -10 %
Interaction Between Compilers and Computer Architectures

Interaction Between Compilers and Computer Architectures

AngličtinaPevná vazba
Springer
ISBN: 9780792373704
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
2 925 Kč -10 %
MetaSoft Primer

MetaSoft Primer

Blikle Andrzej
AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540186571
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
1 463 Kč -10 %
CONCUR '98 Concurrency Theory

CONCUR '98 Concurrency Theory

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783540648963
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
Na objednávku
Předpokládané dodání ve středu, 2. července 2025
2 925 Kč -10 %