{{title}}
({{Count}})
English
العربية
Catalogue
Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents
Romance
Romans et nouvelles
Scolaire
Polar
Jeunesse
Développement Personnel
Ressources professionnelles
SF
Partitions
Littérature
Santé et bien-être
Savoirs
Education
Loisirs et hobbies
Art, musique et cinéma
Actualité et débat de société
Actualités
Lifestyle
Presse jeunesse
Presse professionnelle
Pratique
Presse sportive
Presse internationale
Culture & Médias
Fictions
Développement personnel
Témoignages
Culture
Enfants
Enjeux de société
BD Humoristique
Action et Aventures
Science-fiction et Fantasy
Mangas
Société
Comics
BD adulte
Jeunesse - Pour les 6 - 12 ans
Univers ado - Pour les plus de 12 ans
Eveil - De 0 à 6 ans
Découverte
Jeux et coloriages
Jeune Adulte
Etudes littéraires
Contes
Théâtre
Littérature régionale
SF et fantasy
Littérature sentimentale
Romans historiques
Classiques
Poésie
Récits de voyage
Témoignages et autobiographies
Romans policiers, polars, thrillers
Littérature érotique
Economie
Comptabilité
Création d'entreprise
Marketing et communication
Efficacité professionnelle
Gestion et management
Emploi et carrières
Bourse et finance
Droit et juridique
Informatique
Esotérisme et paranormal
Alimentation et diététique
Forme et détente
Sexualité
Beauté
Thérapies alternatives
Philosophie
Religions
Sciences humaines et sociales
Linguistique
Histoire
Medecine
Techniques
Sciences formelles
Science de la nature
Biographies
Géographie
Dictionnaires
Révisions
Ressources pédagogiques
Sciences de l’éducation
Manuels scolaires
Langues
Travaux de classe
Etudes supérieures
Maternelle et primaire
Fiches de lecture
Orientation scolaire
Méthodologie
Annales d’examens et concours
Voyages - guides
Bricolage et décoration
Animaux de compagnie
Humour
Sports
Jeux
Moyens de transport
Cuisine et vins
Jardinage
Loisirs créatifs
Architecture et design
Musique
Cinéma
Photographie
Beaux-arts
Partitions de musique variée
Ecologie
Actualité, évènements
Essais
Politique
Débats et polémiques
Médias
Hebdo
Magazines
Quotidiens
Déco
Cuisine
Mode de vie
Voyages et loisirs
Kids
Ado
Actualités éco
Presse spécialisée
Économies internationales
Féminin
Bien être
Famille
Consommation
Auto/Moto
Autres sports
Football
Sports hippiques
Tunisie
Maroc
RDC
Mali
Sénégal
Côte d'Ivoire
Cameroun
Burkina-Faso
UK
US
People & TV
Arts
Mode
Policiers & Thrillers
Aventure
Horreur
Fantastique
Medieval & Heroic Fantasy
Science-fiction
Historique
Fiction
Documentaire
Analyses et études sectorielles
Cours
Annales de BEP
Corrigés de devoir
Annales du bac
Annales du brevet
Rapports de stage
Généalogie
Partitions de musique romantique
Partitions de musique baroque
Partitions de musique classique
Partitions de musique de la renaissance
Partitions de musique moderne
Partitions du début des années vingt
Menu
Qui sommes-nous ?
Découvrir les offres
Publier vos documents
Notre catalogue
Livres
Audiobook
Auteur
Affiner
0
The ASTREE Analyzer
Patrick Cousot
10 pages
SOS Preliminary Version
15 pages
Specification and Abstraction of Semantics
14 pages
27 pages
Abstract Interpretation and Application to Logic Programs
65 pages
Parsing as Abstract Interpretation of Grammar Semantics
13 pages
TRAVAUX DIRIGES SUR L'UTILISATION DU SYSTEME D'EXPLOITATION DES ORDINATEURS UNIX
70 pages
Patrick Cousot Radhia Cousot Jerome Feret Laurent Mauborgne Antoine Mine David Monniaux Xavier Rival
Bi inductive Structural Semantics
47 pages
Abstract Interpretation Based Formal Methods and Future Challenges Electronic Version
32 pages
Abstract Interpretation Based Formal Methods and Future Challenges
79 pages
The Verification Grand Challenge and Abstract Interpretation
Communications of the acm september vol no
6 pages
Directions for Research in Approximate System Analysis
5 pages
The Role of Abstract Interpretation in Formal Methods
3 pages
1Abstract Interpretation Based Program Testing Patrick Cousot
1Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation Patrick Cousot
11 pages
Patrick Cousot LIENS École Normale Supérieure
38 pages
BASIC CONCEPTS OF ABSTRACT INTERPRETATION
8 pages
21 pages
Abstract Interpretation–based Formal Verification of Complex Computer Systems
4 pages
Verification by Abstract Interpretation
25 pages
Département d'informatique École normale supérieure rue d'Ulm Paris cedex Patrick fr
Français
Formal Verification by Abstract Interpretation
Combination of Abstractions in the ASTREE Static Analyzer
29 pages
A gentle introduction to formal verification of computer systems
UTILISATION DE L'INTERPRETEUR PASCAL DU MACINTOSH
53 pages
Interprétation abstraite application aux logiciels de l'A380
95 pages
La vérification des programmes par interprétation abstraite
71 pages
