Showing
1 - 9
results of
9
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Bjørner, D. (Dines), 1937-
Other:
Remove Filter
Computer programming
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Author:
Remove Filter
Bjørner, D. (Dines), 1937-
Other:
Remove Filter
Computer programming
Search Results
Showing
1 - 9
results of
9
for search '
'
, query time: 0.33s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formal specification and software development /
by
Bjørner, D. (Dines), 1937-
Published 1982
Call Number:
Loading...
Located:
Loading...
Book
Loading...
2
Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June...
Published 1983
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
3
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /
Published 1980
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings /
Published 1993
Call Number:
Loading...
Located:
Loading...
Book
Loading...
5
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Software engineering.
by
Bjørner, D. (Dines), 1937-
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
7
Software engineering.
by
Bjørner, D. (Dines), 1937-
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Publisher description
eBook
8
Software engineering.
by
Bjørner, D. (Dines), 1937-
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
9
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Published 1993
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
6 results
6
Book
3 results
3
Conference Proceeding
3 results
3
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Bjørner, D. (Dines), 1937-
SpringerLink (Online service)
6 results
6
Broy, M., 1949-
3 results
3
Pottosin, I. V.
3 results
3
Commission of the European Communities
1 results
1
Copenhagen Winter School on Abstract Software Specifications
1 results
1
IFIP Technical Committee 2--Programming
1 results
1
IFIP Working Conference on Formal Description of Programming Concepts Garmisch-Partenkirschen, Germany
1 results
1
International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia
1 results
1
Jones, C. B. (Cliff B.), 1944-
1 results
1
see all…
Language
English
9 results
9
Geography
Kopenhagen
1 results
1
Nowosibirsk
1 results
1
Nowossibirsk <1996>
1 results
1
Loading...