Programming Concepts and Methods PROCOMET '98 -
- Format: Broché
- 500 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre44,61 €
Produit Neuf
Ou 11,15 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
306,22 €
Produit Neuf
Ou 76,56 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Programming Concepts And Methods Procomet '98 Format Broché - Livre Informatique
0 avis sur Programming Concepts And Methods Procomet '98 Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Century Series In Color (F-100 Super Sabre; F-101 Voodoo; F-102 Delta Dagger; F-104 Starfighter; F-105 Thunderchief; F-106 Delta Dart) - Fighting Colors Series (6501)
Occasion dès 54,82 €
-
7: - Best Karate 7: Jitte,Hangetsu, Empi
Occasion dès 53,35 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
Ice Cold - A Hip-Hop Jewelry History
1 avis
Neuf dès 80,00 €
Occasion dès 39,00 €
-
Physiology Of The Heart
Neuf dès 44,80 €
Occasion dès 98,78 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Building Scientific Apparatus
Neuf dès 50,69 €
Produits similaires
Présentation Programming Concepts And Methods Procomet '98 Format Broché
- Livre InformatiqueEditeur : Springer UsLangue : AnglaisParution : 01/01/2013Format : Moyen, de 350g à 1kgNombre de pages : 500Expédition : 750Dimensions : 23.5 x 15.5 x 2.7 Résumé :This...
Résumé :
This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
Sommaire:
1 Invited lecture Extended static checking.- 2 Invited lecture From lattices to practical formal hardware verification.- 3 Invited lecture Programming with tabling in XSB.- 4 Invited lecture Verifying electronic control units: today and tomorrow.- 5 Educational session Teaching calculational logic.- 6 Types for trees.- 7 Structures for lazy semantics.- 8 A proof theory of asynchronously communicating sequential processes.- 9 Bisimulations in the join-calculus.- 10 Using state space exploration and a natural deduction style message derivation engine to verify security protocols.- 11 Programming language semantics in foundational type theory.- 12 An algebraic approach to the specification of stochastic systems.- 13 Refinement types for specification.- 14 An extension of the program derivation format.- 15 Deadlines are termination.- 16 The design of a linearization of a concurrent data object.- 17 Final semantics for the pi-calculus.- 18 Comparing CTL and PCTL on labeled Markov chains.- 19 Reactive functional programming.- 20 Imperative objects and mobile processes.- 21 Relating linear and branching model checking.- 22 Verifying duration properties of timed transition systems.- 23 Towards squiggly refinement algebra.- 24 Towards a theory of sequential hybrid programs.- 25 Test selection for object-oriented software based on formal specifications.- 26 Logical foundations for typed object-oriented languages.- 27 Verifying a self-stabilizing mutual exclusion algorithm.- 28 A combination of interval logic and linear temporal logic.- 29 A model of real-time distributed systems.- Index of contributors.- Keyword index.
Détails de conformité du produit
Personne responsable dans l'UE