Account
Orders
Advanced search
Petri nets do not designate a single modeling formalism. In fact, newcomers to the field confess sometimes to be a little puzzled by the diversity of formalisms that are recognized under this "umbrella". Disregarding some extensions to the theoretical modeling...
Cet ouvrage, actualisé et augmenté pour cette troisième édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés....
A un moment où les échanges internationaux prennent une ampleur sans précédent et où le débat sur l'harmonisation des droits européens cède le pas à des projets de codes européens, la connaissance des grands systèmes de droits étrangers est plus qu'indispensable au...
Le Grafcet est un outil de spécification des automatismes logiques. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses...
Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers