國立高雄大學圖資館 |

Search result for [ subject:"Formal methods (Computer science)"]

423 records (0.034s)· Page 1 of 43 • 1 2 3 4 5 ... 43

1.

Formal methods for industrial critic...

~
Gnesi, Stefania, (1954-)
- Formal methods for industrial critical systemsa survey of applications /
- by: Gnesi, Stefania, (1954-); Margaria-Steffen, Tiziana, (1964-)
- Electronic resources : Monograph/item
- Publisher: IEEE Computer Society,; John Wiley & Sons Inc. :
- Place of Publication: [Washington, D.C.] :
- Year of Publication: 2013
- ISBN: 1118459865; 111845989X; 1118561899; 9781118459867; 9781118459898; 9781118561898
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Lectures on formal methods and perfo...

~
(1998 :)
- Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
- by: (1998 :); Brinksma, Ed.; Hermanns, Holger.; Katoen, Joost-Pieter.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540424796
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Integrated formal methodsThird Inter...

~
(1998 :)
- Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
- by: (1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540437031
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Applied formal methods - FM-Trends 9...

~
(1998 :)
- Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
- by: (1998 :); Hutter, Dieter.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1999
- ISBN: 9783540664628
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Integrated formal methodssecond inte...

~
(1998 :)
- Integrated formal methodssecond international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
- by: (1998 :); Grieskamp, Wolfgang.; Santen, Thomas.; SpringerLink (Online service); Stoddart, Bill.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540411963
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Integrated formal methods4th interna...

~
(1998 :)
- Integrated formal methods4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
- by: (1998 :); Boiten, Eerke, (1966-); Derrick, John, (1963-); Smith, Graeme, (1966-); SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: New York, NY :
- Year of Publication: 2004
- ISBN: 9783540213772
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
- by: (1998 :); Lima, Lucas.; Molnar, Vince.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031224751; 9783031224768
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Formal methods applied to industrial...

~
Boulanger, Jean-Louis.
- Formal methods applied to industrial complex systems
- by: Boulanger, Jean-Louis.
- Electronic resources : Monograph/item
- Publisher: ISTE, Ltd. ;; Wiley,
- Place of Publication: London :
- Year of Publication: 2014
- ISBN: 1119004705; 1119004845; 9781119004707; 9781119004844
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Formal methodsindustrial use from mo...

~
Boulanger, Jean-Louis.
- Formal methodsindustrial use from model to the code /
- by: Boulanger, Jean-Louis.
- Electronic resources : Monograph/item
- Publisher: ISTE ;; Wiley,
- Place of Publication: London :
- Year of Publication: 2012
- ISBN: 1118561899; 1118614380; 1299315070; 9781118561898; 9781118614389; 9781299315075
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Formal ontology in information syste...

~
Donnelly, Maureen.
- Formal ontology in information systemsproceedings of the seventh International Conference (FOIS 2012) /
- by: Donnelly, Maureen.; FOIS (Conference) (2012 :); Guizzardi, Giancarlo.
- Electronic resources : Monograph/item
- Publisher: IOS Press,
- Place of Publication: Amsterdam :
- Year of Publication: 2012
- ISBN: 9781614990833; 9781614990840
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items