Fr. 408.70

FORMAL MODELS AND SEMANTICS

Anglais · Livre Relié

Expédition généralement dans un délai de 1 à 3 semaines (ne peut pas être livré de suite)

Description

En savoir plus

Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing.

Détails du produit

Auteurs Unknown, Author Unknown, J. van Leeuwen
Edition ELSEVIER SCIENCE BV
 
Langues Anglais
Format d'édition Livre Relié
Sortie 24.10.1990
 
EAN 9780444880741
ISBN 978-0-444-88074-1
Pages 1280

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.