Search
Feedback
About
Help
News
| Listing 1 - 10 of 294 | << page >> |
Sort by
|
Book
ISBN: 0818607696 9780818607691 Year: 1987 Publisher: Washington (D.C.): IEEE computer society press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0136308562 9780136308560 Year: 1995 Publisher: Englewood Cliffs (N.J.) : Prentice-Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Object-oriented methods (Computer science) --- 681.3*D21 --- Object development methods (Computer science) --- Object orientation (Computer science) --- Object-oriented development (Computer science) --- Object technology (Computer science) --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- System design --- Object-oriented programming (Computer science) --- Object-oriented methods (Computer science).
ISBN: 3540071318 3540374019 9783540071310 Year: 1975 Volume: 23 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*A0 --- 681.3*D10 --- 681.3*D20 --- 681.3*D21 --- General --- Computerwetenschap--?*D10 --- Computerwetenschap--?*D20 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*A0 General --- Computer science. --- Computer Science, general. --- Informatics --- Science
ISBN: 0077077202 Year: 1994 Publisher: London McGraw-Hill
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronics --- Software engineering --- Génie logiciel --- Data processing --- -Software engineering --- 681.3*D21 --- Computer software engineering --- Engineering --- Electrical engineering --- Physical sciences --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Génie logiciel
Book
ISBN: 0818619422 0818659424 9780818619427 Year: 1989 Volume: 14/3 Publisher: Washington, D.C. : IEEE Computer Society Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D21 --- 681.3*D210 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- Conferences - Meetings --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Software engineering --- Ieee --- Acm
Book
ISBN: 9061963060 9789061963066 Year: 1986 Volume: 28 Publisher: Amsterdam : Centre for Mathematics and Computer Science,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*F42 --- 681.3*J5 --- 681.3*F31 --- 681.3*F32 --- 681.3*F43 --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- Geesteswetenschappen (computertoepassingen) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31}
ISBN: 0818619171 9780818619175 Year: 1989 Publisher: Washington (D.C.): IEEE computer society press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer-aided software engineering --- 681.3*D21 --- 681.3*D210 --- CASE (Computer science) --- Software engineering --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31}
ISBN: 0201627574 9780201627572 Year: 1994 Publisher: Wokingham Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Z (Computer program language) --- Computer software --- Formal methods (Computer science) --- Development --- 681.3*D21 --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Development. --- Z (Computer program language). --- Formal methods (Computer science). --- Programming --- Computer software - Development
Book
ISBN: 9026711565 Year: 1987 Publisher: Deventer Kluwer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*F32 --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31}
ISBN: 3540517995 3540137181 0387137181 0387517995 3642647766 3642612849 3642699642 3642699626 9780387137186 9783540137184 9783540517993 Year: 1985 Volume: 21 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra --- Data structures (Computer science) --- Structures de données (Informatique) --- 681.3*F32 --- 681.3*F43 --- Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- Computer science --- Data structures (Computer science). --- Algebra. --- Software engineering --- Specification
| Listing 1 - 10 of 294 | << page >> |
Sort by
|