"program verification"

14353 résultats

Trier par :

Vous devez être majeur pour voir la couverture des produits pour adultes.

Couverture du produit · Programme Construction and Verification

Livre Programme Construction and Verification Roland C. Backhouse

Couverture du produit · Vérification

Livre Vérification Judith Brouste

Couverture du produit · Theory of Program Structures: Schemes, Semantics, Verification

Livre Theory of Program Structures: Schemes, Semantics, Verification Sheila A. Greibach

Couverture du produit · Formal Methods of Program Verification and Specification

Livre Formal Methods of Program Verification and Specification Helmut K. Berg et etc.

Couverture du produit · A Survey of Verification Techniques for Parallel Programs

Livre A Survey of Verification Techniques for Parallel Programs Howard Barringer

Couverture du produit · Vérification fiscale personnelle

Livre Vérification fiscale personnelle Thierry Lambert

Couverture du produit · Computer-Aided Verification

Livre Computer-Aided Verification Robert Kurshan

Couverture du produit · The foundations of program verification (Wiley-Teubner series in computer science)

Livre The foundations of program verification (Wiley-Teubner series in computer science)

Couverture du produit · Contrôle fiscal. La Vérification de comptabilité

Livre Contrôle fiscal. La Vérification de comptabilité Claude Laurent

Couverture du produit · Computer Logic, Testing and Verification

Livre Computer Logic, Testing and Verification J.Paul Roth et T. J. Watson

Couverture du produit · Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers

Livre Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers Graham Birtwistle et P. A. Subrahmanyam

Couverture du produit · Protocol Specification, Testing and Verification, XII

Livre Protocol Specification, Testing and Verification, XII Richard Linn et M. Umit Uyar

Couverture du produit · Specification and Verification of Concurrent Systems

Livre Specification and Verification of Concurrent Systems Charles Rattray

Couverture du produit · Scientific Computation With Automatic Result Verification

Livre Scientific Computation With Automatic Result Verification U. Kulisch et H. J. Stetter

Couverture du produit · Scientific Computation With Automatic Result Verification

Livre Scientific Computation With Automatic Result Verification Ulrich Kulisch et Hans J. Stetter

Couverture du produit · Protocol Specification, Testing, and Verification, V

Livre Protocol Specification, Testing, and Verification, V Michel Diaz

Couverture du produit · Protocol Specification, Testing, and Verification, IX

Livre Protocol Specification, Testing, and Verification, IX Ed Brinksma et Giuseppe Scollo

Couverture du produit · Le marché des changes: Théorie et vérifications empiriques

Livre Le marché des changes: Théorie et vérifications empiriques Richard Baillie

Couverture du produit · Protocol Specification, Testing, and Verification XI: Proceedings

Livre Protocol Specification, Testing, and Verification XI: Proceedings Bengt Jonsson, J. Parrow, B. Pehrson et etc.

Couverture du produit · Vérification et mise en oeuvre des réseaux de Petri

Livre Vérification et mise en oeuvre des réseaux de Petri Michel Diaz

Couverture du produit · Protocol Specification, Testing, and Verification, X: Proceedings

Livre Protocol Specification, Testing, and Verification, X: Proceedings L. Logrippo, H. Ural, etc. et R.L. Probert

Couverture du produit · Verification and Validation of Real-Time Software

Livre Verification and Validation of Real-Time Software William J. Quirk

Couverture du produit · Modeling and Verification of Real-Time Systems

Livre Modeling and Verification of Real-Time Systems Nicolas Navet et Stephan Merz

Couverture du produit · Program

Résultats par page :

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte