Научная библиотека ТГУ catalog › Results of search for '*'

Search

Refine your search

Availability
- Showing only available items
- Show all items
Bibliographic level
- Книги (3)
Authors
- Bjørner, Dines [x]
Topics
- Computer Science (3)
- Logic design (3)
- Logics and Meanings of Programs (3)
- Programming Languages, Compilers, Interpreters [x]
- Programming Techniques (3)
- Software Engineering (3)
- Software engineering (3)
- Show more
- Show less

Your search returned 3 results.

	1.	Software Engineering 1 Электронный ресурс Abstraction and Modelling / by Dines Bjørner by Bjørner, Dines \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Software Engineering 2 Электронный ресурс Specification of Systems and Languages / by Dines Bjørner by Bjørner, Dines \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science An EATCS SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Software Engineering 3 Электронный ресурс Domains, Requirements, and Software Design / by Dines Bjøner by Bjørner, Dines \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science An EATC SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)