Showing
1 - 20
results of
24
Skip to content
Warning:
Full texts of licensed resources are only available from the TBU university network. You are currently outside this network.
Please log in to access full texts
×
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Page will reload when a filter is removed.
Applied Filters:
Limit to articles with full text available
Page will reload when a filter is removed.
Show filters (1)
Limit to articles with full text available
Search Results - "Concrete Semantics"
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Showing
1 - 20
results of
24
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Abstract Interpretation
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
2
Loading…
Hoare Logic
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
3
Loading…
Intro
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
4
Loading…
Program Analysis
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
5
Loading…
Introduction
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
6
Loading…
Part I: Isabelle
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
7
Loading…
Types
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
8
Loading…
Part II: Semantics
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
9
Loading…
Programming and Proving
by
Nipkow, Tobias
,
Klein, Gerwin
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
10
Loading…
B Symbols
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
11
Loading…
C Theories
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
12
Loading…
Introduction
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
13
Loading…
Compiler
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
14
Loading…
Introduction
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
15
Loading…
A Auxiliary Definitions
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
16
Loading…
Isar: A Language for Structured Proofs
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
17
Loading…
Programming and Proving
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
18
Loading…
IMP: A Simple Imperative Language
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
19
Loading…
Logic and Proof Beyond Equality
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
20
Loading…
Intro
by
Klein, Gerwin
,
Nipkow, Tobias
Published in
Concrete Semantics
(2014)
Get full text
Book Chapter
Save to List
Saved in:
1
2
Next
[2]
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Clear Filter
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Book Chapter
24 results
24
Subject Area
computer science
24 results
24
Topic
computer programming / software development
19 results
19
mathematical theory of computation
19 results
19
programming & scripting languages: general
19 results
19
boolean expression
4 results
4
abstract syntax
2 results
2
concrete syntax
2 results
2
See more
Language
English
24 results
24
Year of Publication
From:
To:
Database
SpringerLink Books
24 results
24
eBooks on EBSCOhost
24 results
24
Springer Books
24 results
24