Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European . (Lecture Notes in Computer Science, 4962)

ISBN 10: 3540784977 ISBN 13: 9783540784975
Edité par Springer, 2008
Neuf(s) Couverture souple

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In. N° de réf. du vendeur ria9783540784975_new

Signaler cet article

Synopsis :

This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.

Présentation de l'éditeur:

This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Foundations of Software Science and ...
Éditeur : Springer
Date d'édition : 2008
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020177034

Contacter le vendeur

Acheter neuf

EUR 52,76
EUR 3,41 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Amadio, Roberto
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Kartoniert / Broschiert

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Finding Your Way in a Forest: On Different Types of Trees and Their Properties.- Simple Stochastic Games with Few Random Vertices Are Easy to Solve.- The Complexity of Nash Equilibria in Infinite Multiplayer Games.- Stochastic Games with Lossy Channels.- Si. N° de réf. du vendeur 4900956

Contacter le vendeur

Acheter neuf

EUR 64,08
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 526. N° de réf. du vendeur 26288704

Contacter le vendeur

Acheter neuf

EUR 77,87
EUR 3,41 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Roberto Amadio
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Neuware - ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. N° de réf. du vendeur 9783540784975

Contacter le vendeur

Acheter neuf

EUR 79,32
EUR 64,01 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 526 Illus. N° de réf. du vendeur 7591967

Contacter le vendeur

Acheter neuf

EUR 80,36
EUR 7,42 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Amadio Roberto
Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 526. N° de réf. du vendeur 18288714

Contacter le vendeur

Acheter neuf

EUR 81,28
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Amadio, Roberto (Editor)
Edité par Springer-Verlag New York Inc, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 2008 edition. 504 pages. 9.00x6.00x1.25 inches. In Stock. N° de réf. du vendeur x-3540784977

Contacter le vendeur

Acheter neuf

EUR 82,09
EUR 14,28 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Roberto Amadio
Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-244438

Contacter le vendeur

Acheter neuf

EUR 83,29
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-180148

Contacter le vendeur

Acheter neuf

EUR 83,29
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540784977 ISBN 13 : 9783540784975
Neuf Couverture souple

Vendeur : ALLBOOKS1, Direk, SA, Australie

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK244438

Contacter le vendeur

Acheter neuf

EUR 93,43
Livraison gratuite
Expédition depuis Australie vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre