Výsledky vyhledávání - "Lecture notes in computer science,"

1

Obálka

Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures /

Vydáno 2007

“...Lecture notes in computer science ;...”

Kniha

2

Obálka

Formal methods and hybrid real-time systems : essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /

Vydáno 2007

“...Lecture notes in computer science ;...”

Kniha

3

Obálka

Refinement techniques in software engineering : first pernambuco summer school on software engineering, PSSE 2004, Receife, Brazil, November 23-december 5, 2004 revised lectures /

Vydáno 2006

“...Lecture notes in computer science ;...”

Kniha

4

Obálka

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussionns /

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

5

Obálka

Verified software: theories, tools, experiments : second International Conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings /

Vydáno 2008

“...Lecture notes in computer science ;...”

Kniha

6

Obálka

FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1 /

Vydáno 1999

“...Lecture notes in computer science ;...”

Kniha

7

Obálka

FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2 /

Vydáno 1999

“...Lecture notes in computer science ;...”

Kniha

8

Obálka

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /

Vydáno 2003

“...Lecture notes in computer science ;...”

Kniha