Tools and Algorithms for the Construction and Analysis of Systems -
- Format: Broché
- 452 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre6,99 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison : 3,29 €
- Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
44,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
-
88,49 €
Produit Neuf
Ou 22,12 € /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 Tools And Algorithms For The Construction And Analysis Of Systems Format Broché - Livre Informatique
0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Collins English Dictionary - Edition Spéciale
1 avis
Neuf dès 9,95 €
Occasion dès 5,96 €
-
Maîtriser La Grammaire Anglaise - Niveaux B1/B2 Du Cadre Européen Commun De Référence Pour Les Langues (Lycée Et Début Des Études Supérieures)
16 avis
Occasion dès 3,90 €
-
English Grammar In Use - Edition 2012 (1 Cd-Rom)
6 avis
Occasion dès 6,00 €
-
Angry Blonde
Neuf dès 15,70 €
Occasion dès 9,00 €
-
Les Cavaliers
23 avis
Neuf dès 11,70 €
Occasion dès 5,00 €
-
Vocabulaire Thématique Anglais-Français - Le Monde D'aujourd'hui : Société - Environnement - Economie - Politique - Technologie - Santé
Neuf dès 16,50 €
Occasion dès 9,25 €
-
Physique Seconde
Occasion dès 6,00 €
-
Workbook Way To Go 6e
Occasion dès 4,00 €
-
The Grapes Of Wrath
Neuf dès 27,86 €
Occasion dès 3,50 €
-
Dictionnaire Visuel Allemand
3 avis
Neuf dès 9,95 €
Occasion dès 8,00 €
-
Mémo Anglais B2-C1
2 avis
Neuf dès 6,30 €
Occasion dès 128,47 €
-
Le Mot & L'idée Anglais 2 - Vocabulaire Thématique
19 avis
Neuf dès 17,50 €
Occasion dès 4,00 €
-
Harry Potter And The Deathly Hallows
2 avis
Neuf dès 67,94 €
Occasion dès 4,40 €
-
Dossiers De Civilisation Allemande
2 avis
Occasion dès 5,10 €
-
Methode De Lecture Rapide Richaudeau
Occasion dès 4,99 €
-
Jane Eyre
9 avis
Neuf dès 10,39 €
Occasion dès 4,23 €
-
Climbing Roses Old And New
Occasion dès 10,00 €
-
Pack Perfectionnement Anglais - 1 Livre Plus 1 Cd Audio Mp3 (1 Cd Audio Mp3)
7 avis
Occasion dès 9,02 €
-
Blue Ocean Strategy
2 avis
Occasion dès 5,37 €
-
Where The Crawdads Sing
6 avis
Neuf dès 13,50 €
Occasion dès 6,70 €
Produits similaires
Présentation Tools And Algorithms For The Construction And Analysis Of Systems Format Broché
- Livre InformatiqueEditeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/03/1997Format : Moyen, de 350g à 1kgNombre de pages : 452Expédition : 680Dimensions : 23.5 x 15.5 x 2.5 Résumé...
Résumé :
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
Sommaire:
Hardware and software synthesis, optimization, and verification from Esterel programs.- Manipulation algorithms for K*BMDs.- Combining partial order and symmetry reductions.- Partial model checking with ROBDDs.- Space efficient reachability analysis through use of pseudo-root states.- The reference component of PEP.- A tool to support formal reasoning about computer languages.- The term processor generator Kimwitu.- Graphs in MetaFrame: The unifying power of polymorphism.- A tableau system for linear-TIME temporal logic.- Model-checking for a subclass of event structures.- Real-time logics: Fictitious clock as an abstraction of dense time.- Mosel: A flexible toolset for monadic second-order logic.- A brief introduction to coloured Petri Nets.- Design/CPN - A computer tool for Coloured Petri Nets.- Formal verification of statecharts with instantaneous chain reactions.- Compositional state space generation from Lotos programs.- Syntactic detection of process divergence and non-local choice in message sequence charts.- An automata based verification environment for mobile processes.- Compositional performance analysis.- Incremental development of deadlock-free communicating systems.- Automatic synthesis of specifications from the dynamic observation of reactive programs.- Visual verification of reactive systems.- Theorem prover support for the refinement of stream processing functions.- Integration in PVS: Tables, types, and model checking.- Test generation for intelligent networks using model checking.- Mechanically verified self-stabilizing hierarchical algorithms.- The bounded retransmission protocol must be on time!.
Détails de conformité du produit
Personne responsable dans l'UE