Specifying Software
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521808149, 9780521004015, 9781139164900

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State-Transition Diagrams

Specifying Software ◽

10.1017/cbo9781139164900.013 ◽

2002 ◽

pp. 169-190

Keyword(s):

State Transition

Download Full-text

Data Representation: A Case Study

Specifying Software ◽

10.1017/cbo9781139164900.009 ◽

2002 ◽

pp. 111-124

Keyword(s):

Data Representation

Download Full-text

Context-Free Languages

Specifying Software ◽

10.1017/cbo9781139164900.015 ◽

2002 ◽

pp. 207-226

Keyword(s):

Context Free

Download Full-text

Parsing

Specifying Software ◽

10.1017/cbo9781139164900.016 ◽

2002 ◽

pp. 227-242

Download Full-text

Basic Concepts

Specifying Software ◽

10.1017/cbo9781139164900.012 ◽

2002 ◽

pp. 159-168

Keyword(s):

Basic Concepts

Download Full-text

Data Representation: Additional Examples

Specifying Software ◽

10.1017/cbo9781139164900.010 ◽

2002 ◽

pp. 125-154

Keyword(s):

Data Representation

Download Full-text

Programming Language Reference

Specifying Software ◽

10.1017/cbo9781139164900.019 ◽

2002 ◽

pp. 257-278

Keyword(s):

Programming Language

Download Full-text

Hints for Selected Exercises

Specifying Software ◽

10.1017/cbo9781139164900.020 ◽

2002 ◽

pp. 279-284

Download Full-text

Introduction

Specifying Software ◽

10.1017/cbo9781139164900.002 ◽

2002 ◽

pp. 1-10

Download Full-text

Preface

Specifying Software ◽

10.1017/cbo9781139164900.001 ◽

2002 ◽

pp. ix-xii

Download Full-text