Image de couverture de livre

Summary goes here

Enregistré dans:
Détails bibliographiques
Format: Livre
Langue:anglais
Sujets:
Formal methods (Computer science)
Software engineering
Computer systems.
Computing Methodologies
Computer Systems
Méthodes formelles (Informatique)
Génie logiciel
Systèmes informatiques.
Computer systems
Computer science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
computerwetenschappen
computer sciences
programmeertalen
programming languages
wiskunde
mathematics
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Description
Résumé:Summary goes here
Description:General Notes
Description matérielle:1 online resource (xiii, 442 pages) :illustrations
ISBN:9783642386138
364238613X
3642386121
9783642386121