Account
Orders
Advanced search
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Théologien, logicien, dialecticien, musicologue, Abélard reste un grand savant dont l’œuvre mérite d’être étudiée et enseignée. Neuf cents ans après sa mort, sa pensée, ses travaux, les polémiques savantes qu’il a nourries avec les grandes voix de son temps continuent...
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