- 5 Résultats
prix le plus bas: € 50,28, prix le plus élevé: € 63,67, prix moyen: € 56,78
1
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings - Peter Tschmuck
Commander
sur hive.co.uk
£ 46,74
(environ € 53,69)
Commander
Détails et expédition
Lien sponsorisé
Peter Tschmuck:

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings - nouveau livre

2012, ISBN: 9783642277054

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012… Plus…

No. 9783642277054. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Verified Software: Theories, Tools, Experiments - Rajeev Joshi; Peter Müller; Andreas Podelski
Commander
sur Springer.com
€ 50,28
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Rajeev Joshi; Peter Müller; Andreas Podelski:

Verified Software: Theories, Tools, Experiments - nouveau livre

2012, ISBN: 9783642277054

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
3
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings - Dirk Morschett
Commander
sur hive.co.uk
£ 45,89
(environ € 53,81)
Commander
Détails et expédition
Lien sponsorisé
Dirk Morschett:
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings - nouveau livre

2012

ISBN: 9783642277054

; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Gabler Verlag

No. 9783642277054. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
4
Commander
sur lehmanns.de
€ 63,67
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Rajeev Joshi; Peter Muller; Andreas Podelski:
Verified Software: Theories, Tools, Experiments - nouveau livre

2012, ISBN: 9783642277054

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelber… Plus…

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
fermer(X)
5
Commander
sur lehmanns.de
€ 62,43
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Rajeev Joshi; Peter Muller; Andreas Podelski:
Verified Software: Theories, Tools, Experiments - nouveau livre

2012, ISBN: 9783642277054

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Frais d'envoiDownload sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
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
Verified Software: Theories, Tools, Experiments
Auteur:
Titre:
ISBN:

9783642277054

Informations détaillées sur le livre - Verified Software: Theories, Tools, Experiments


EAN (ISBN-13): 9783642277054
Date de parution: 2012
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2015-12-29T13:18:11+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-11-20T19:47:08+01:00 (Paris)
ISBN/EAN: 9783642277054

ISBN - Autres types d'écriture:
978-3-642-27705-4
Autres types d'écriture et termes associés:
Auteur du livre: andreas müller, peter müller, joshi, peter muller, péter müller, peter tschmuck
Titre du livre: software tools, philadelphia

Données de l'éditeur

Auteur: Rajeev Joshi; Peter Müller; Andreas Podelski
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Editeur: Springer; Springer Berlin
326 Pages
Date de parution: 2012-01-28
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 326 p. 41 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Isabelle/HOL; automatic verification; process algebras; specification languages; virtualization; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.

verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.


Up-to-date results Fast track conference proceedings State-of-the-art report

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783031258022 Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lal, Akash (Editor)/ Tonetta, Stefano (Editor))

< pour archiver...