5570 results in Programming Languages and Applied Logic
Chapter 2 - An Introduction to Object-Oriented Programming
-
- Book:
- COBOL Programmers Swing with Java
- Published online:
- 26 August 2009
- Print publication:
- 28 December 2004, pp 21-40
-
- Chapter
- Export citation
COBOL Programmers Swing with Java
-
- Published online:
- 26 August 2009
- Print publication:
- 28 December 2004
Chapter 1 - Why You Should Learn Java
-
- Book:
- COBOL Programmers Swing with Java
- Published online:
- 26 August 2009
- Print publication:
- 28 December 2004, pp 3-20
-
- Chapter
- Export citation
5 - Modal logics and agents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 306-357
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp v-viii
-
- Chapter
- Export citation
2 - Predicate logic
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 93-171
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp i-iv
-
- Chapter
- Export citation
Foreword to the first edition
-
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp ix-x
-
- Chapter
- Export citation
Logic in Computer Science
- Modelling and Reasoning about Systems
-
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004
-
- Textbook
- Export citation
Preface to the second edition
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp xi-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 418-427
-
- Chapter
- Export citation
4 - Program verification
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 256-305
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 414-417
-
- Chapter
- Export citation
3 - Verification by model checking
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 172-255
-
- Chapter
- Export citation
6 - Binary decision diagrams
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 358-413
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp xiii-xiv
-
- Chapter
- Export citation
1 - Propositional logic
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 1-92
-
- Chapter
- Export citation
Chapter 3 - Structures
-
- Book:
- Object-Oriented Programming with Visual Basic.NET
- Published online:
- 06 July 2010
- Print publication:
- 21 June 2004, pp 64-92
-
- Chapter
- Export citation
Chapter 2 - An Overview of Object-Oriented Programming
-
- Book:
- Object-Oriented Programming with Visual Basic.NET
- Published online:
- 06 July 2010
- Print publication:
- 21 June 2004, pp 44-63
-
- Chapter
- Export citation
Chapter 13 - Database Programming Using ADO.NET
-
- Book:
- Object-Oriented Programming with Visual Basic.NET
- Published online:
- 06 July 2010
- Print publication:
- 21 June 2004, pp 277-290
-
- Chapter
- Export citation