1
by Yuan, Soe -Tsyr
Published 2001
Springer-Verlag Berlin Heidelberg

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Specification -- The Role of Castes in Formal Specification of MAS -- A Truly Concurrent Model...

4
by Couper, A. D.
Published 2016
University of Hawai'i Press
Subjects: ...Shipping / Pacific Area / History...

5
Published 2022
Springer Nature Singapore
Table of Contents: ...Chapter 1: Introduction: From Asia–Pacific to Indo-Pacific: Diplomacy in an Emerging Strategic...

6
by Edwards, Kim
Published 2016
The World Bank
...The small Pacific Island Countries (PICs) face unique constraints which pose public financing...

7
by Brown, George
Published 1890
Adam Matthew Digital
Subjects: ...Pacific Islanders / Portraits...

8
by Dent, Christopher M.
Published 2012
Edward Elgar
Subjects: ...Pacific Area / Economic integration...

10
by Pomeroy, John Norton
Published 1893
West Pub. Co
Subjects: ...Riparian rights / Pacific States...

11
by Makihara, Miki
Published 2007
Oxford University Press
Subjects: ...Languages in contact / Pacific Area...

12
by Lieber, Michael D.
Published 2018
University of Hawai'i Press
Subjects: ...Australasian and Pacific history / bicssc...

13
by Luckham, David
Published 1990
Springer New York
Table of Contents: ... -- 0.3 Applying Anna -- 0.4 Environments for Programming with Specifications -- 0.5 Future Developments...

14
by Keil, Borivoj
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... Data Bank LYSIS -- 3.2 Statistical Approach to Specificity -- 4 Standard Polypeptide Substrates -- 4.1...

15
by Adzic, Gojko
Published 2011
Manning
...Specification by Example is a must read for anyone serious about delivering software that matters...

16
by Welch, Peter J.
Published 2007
Henry Stewart Talks

17
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: ... -- 12. Algebraic Specification in CLEAR -- 12.1 Data Types and Systems -- 12.2 Views of Specifications...

19
by The British Tunnelling Society
Published 2024
Emerald Publishing
...The ebook edition of this title is Open Access and freely available to read online. Specification...

20
Published 1982
Springer Berlin Heidelberg
Table of Contents: ...Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1...