Narrow your search

Library

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

UCLL (1)

ULB (1)

ULiège (1)

VIVES (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

2007 (1)

Listing 1 - 1 of 1
Sort by
Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 9783540712084 3540712089 9786610951888 1280951885 3540712097 Year: 2007 Volume: 4424 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer software --- System design --- Logiciels --- Systèmes, Conception de --- Development --- Congresses --- Développement --- Congrès --- Computer software -- Development -- Congresses. --- Electronic books. -- local. --- System analysis -- Congresses. --- System design -- Congresses. --- Computer Science --- Engineering & Applied Sciences --- System analysis --- Systèmes, Conception de --- Développement --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer communication systems. --- Software engineering. --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Algorism --- Algebra --- Arithmetic --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer science logic --- Logic, Symbolic and mathematical --- Foundations --- Distributed processing --- Development. --- Development of computer software --- Software development --- System design - Congresses. --- Computer software - Development - Congresses. --- Congresses. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Informatics --- Science

Listing 1 - 1 of 1
Sort by