馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Formal verification of floating-point hardware design : a mathematical approach /

Main Authors: Russinoff, David, 1948- (Author)
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6/R969/2nd ed.

Book

2

Cover is for reference only

Software engineering.. 3,, domains, requirements, and software design

Main Authors: Bjørner D. (Dines), 1937-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2006.

Book

3

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus)
Group Author: Margaria-Steffen Tiziana, 1964-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2006.
Call Number: TP301-532/L659/2004

Book

4

Cover is for reference only

Lectures on formal methods and performance analysis：first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Corporate Authors: EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)
Group Author: Brinksma Ed.; Hermanns Holger, 1967-; Katoen Joost-Pieter.
Published: Springer,
Publication Dates: c2001.
Call Number: TP301-1/E896/2000

Book

5

Cover is for reference only

Formal approaches to software testing：5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

Corporate Authors: FATES 2005 (2005 Edinburgh, Scotland)
Group Author: Grieskamp Wolfgang, 1960-; Weise Carsten.
Published: Springer,
Publication Dates: c2006.
Call Number: TP31-532/I618/2005

Book

6

Cover is for reference only

Formal modeling and analysis of timed systems：third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

Corporate Authors: FORMATS 2005 (2005 Uppsala, Sweden)
Group Author: Pettersson Paul.; Yi Wang.
Published: Springer,
Publication Dates: c2005.
Call Number: TP15-532/F723/2005

Book

7

Cover is for reference only

Integrated formal methods：5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings

Corporate Authors: International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)
Group Author: Romijn Judi.; Smith Graeme, 1966-; Pol Jaco van de.
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.5-532/I613/2005

Book

8

Cover is for reference only

Formal modeling and analysis of timed systems：4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

Corporate Authors: FORMATS 2006 (2006 Paris, France)
Group Author: Asarin E. A.; (Evgeniĭ Aleksandrovich); Bouyer Patricia, 1976-
Published: Springer,
Publication Dates: 2006.
Call Number: TP15-532/F723/2006

Book

9

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: c2006.

Book

10

Cover is for reference only

FM 2006：formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (14th 2006 Hamilton, Ont.); SpringerLink (Online service)
Group Author: Nipkow Tobias, 1958-; Sekerinski E.; (Emil) 1963-; Misra Jayadev.
Published: Springer,
Publication Dates: c2006.

Book

11

Cover is for reference only

Formal methods for protocol engineering and distributed systems：FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

Corporate Authors: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China); IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 1999 Beijing, China) (Beijing, China)); IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols 1999 Beijing, China) (Beijing, China))
Group Author: (Samuel Tin-hung); Gao Qiang, 1963-; Wu Jianping, 1953-; Chanson Samuel T.
Published: Kluwer Academic,
Publication Dates: 1999.
Call Number: TN915.04-532/I615/1999

Book

12

Cover is for reference only

Formal methods for hardware verification：6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Cimatti Alessandro.; Bernardo Marco.
Published: Springer,
Publication Dates: c2006.

Book

13

Cover is for reference only

Formal aspects in security and trust：third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers

Corporate Authors: FAST 2005 (2005 Newcastle upon Tyne, England); SpringerLink (Online service)
Group Author: Dimitrakos Theo.
Published: Springer,
Publication Dates: c2006.

Book

14

Cover is for reference only

FM 2005：formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)
Group Author: Fitzgerald John, 1965-; Hayes Ian.; Tarlecki Andrzej.
Published: Springer,
Publication Dates: 2005.

Book

15

Cover is for reference only

Formal methods for components and objects：4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures

Corporate Authors: FMCO 2005 (2005 Amsterdam, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.11-532/F723/2005

Book

16

Cover is for reference only

Formal methods and stochastic models for performance evaluation：Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings

Corporate Authors: EPEW (Workshop) (2006 Budapest, Hungary)
Group Author: Horváth András, 1974-; Telek Miklós.
Published: Springer,
Publication Dates: c2006.
Call Number: TP30-532/E897/2006

Book

17

Cover is for reference only

Web services and formal methods：third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Corporate Authors: WS-FM 2006 (2006 Vienna, Austria)
Group Author: Bravetti Mario.; Núñez Manuel, Profesor.; Zavattaro Gianluigi.
Published: Springer,
Publication Dates: 2006.
Call Number: TP393-532/W364-1/2006

Book

18

Cover is for reference only

Formal aspects in security and trust：third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers

Corporate Authors: FAST 2005 (2005 Newcastle upon Tyne, England)
Group Author: Dimitrakos Theo.
Published: Springer,
Publication Dates: c2006.
Call Number: TP309-532/I615/2005

Book

19

Cover is for reference only

Modern formal methods and applications

Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2006.

Book

Narrow Search