- 1 Résultats
prix le plus bas: € 24,95, prix le plus élevé: € 24,95, prix moyen: € 24,95
1
Commander
sur
(environ € 24,95)
CommanderLien sponsorisé
Laski, Janusz; Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach - Livres de poche

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Frais d'envoiVersandkostenfrei innerhalb der BRD

Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 244 Seiten, L=156mm, B=234mm, H=13mm, Gew.=345gr, [GR: 26330 - TB/Programmiersprachen], [SW: - Computers -… Plus…

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Frais d'envoiVersandkostenfrei innerhalb der BRD Buchgeier.com
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Auteur:
Titre:
ISBN:

1848822510


This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Informations détaillées sur le livre - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Livre de poche
Date de parution: 2009
Editeur: SPRINGER VERLAG GMBH
244 Pages
Poids: 0,345 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2010-09-17T00:23:41+02:00 (Zurich)
Page de détail modifiée en dernier sur 2010-09-17T00:23:41+02:00 (Zurich)
ISBN/EAN: 1848822510

ISBN - Autres types d'écriture:
1-84882-251-0, 978-1-84882-251-1

< pour archiver...