Logic as a Formal Method (Unbekannt)
- Neue Suche nach: Galton, A.
- Neue Suche nach: Galton, A.
In:
COMPUTER JOURNAL
;
35
, 5
;
431
;
1992
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Logic as a Formal Method
-
Beteiligte:Galton, A. ( Autor:in )
-
Erschienen in:COMPUTER JOURNAL ; 35, 5 ; 431
-
Verlag:
- Neue Suche nach: BRITISH COMPUTER SOCIETY
-
Erscheinungsdatum:01.01.1992
-
Format / Umfang:431 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Unbekannt
- Neue Suche nach: 510.78 / 510
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 35, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 417
-
Editorial - Formal Methods: What? Why? and When?Cooke, John et al. | 1992
- 419
-
Formal Methods - Mathematics, Theory, Recipes or what?Cooke, J. et al. | 1992
- 423
-
Announcements| 1992
- 424
-
Classical Logic: a Crash Course for BeginnersGalton, A. et al. | 1992
- 430
-
CASE TechnologyInce, D. et al. | 1992
- 430-a
-
Real-time Transaction ProcessinThainisch, P. et al. | 1992
- 431
-
Logic as a Formal MethodGalton, A. et al. | 1992
- 441
-
The Rudiments of Algorithm RefinementWoodcock, J. C. P. et al. | 1992
- 450
-
Neural Network Parallel ComputingQuinlan, P. et al. | 1992
- 450-a
-
ML for the Working ProgrammeBerry, Dave et al. | 1992
- 451
-
The Role of Data Reification in Program Refinement: Origins, Synthesis and AppraisalClement, T. et al. | 1992
- 460
-
Introduction to Algebraic Specification. Part 1: Formal Methods for Software DevelopmentEhrig, H. / Mahr, B. / Classen, I. / Orejas, F. et al. | 1992
- 460
-
Introduction to algebraic specification. 1. Formal methods for software developmentEhrig, H. / Mahr, B. / Classen, I. / Orejas, F. et al. | 1992
- 467
-
Special Issue on Spatial Data - Call for Papers| 1992
- 468
-
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System SpecificationsEhrig, H. / Mahr, B. / Orejas, F. et al. | 1992
- 468
-
Introduction to algebraic specification. 2. From classical view to foundations of system specificationsEhrig, H. / Mahr, B. / Orejas, F. et al. | 1992
- 477
-
Informatization in the Public SectorLeeming, A. et al. | 1992
- 477-a
-
Announcement| 1992
- 478
-
Protocol Design and Implementation Using Formal Methodsvan Sinderen, M. / Pires, L. Ferreira / Vissers, C. A. et al. | 1992
- 491
-
Functional Programming with HopePaulson, L. C. et al. | 1992
- 492
-
Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICNAuramäki, E. / Hirschheim, R. / Lyytinen, K. et al. | 1992
- 501
-
Integration of Information Systems Using an Object-Oriented ApproachCzejdo, B. / Taylor, M. C. et al. | 1992
- 514
-
Non-determinism in Functional LanguagesSøndergaard, H. / Sestoft, P. et al. | 1992
- 524
-
A Parallel Solution to the Approximate String Matching ProblemBertossi, A. A. / Luccio, F. / Pagli, L. / Lodi, E. et al. | 1992
- 527
-
Flexible Arrays: Evaluation of the B-Tree Based SystemChallab, D. J. et al. | 1992
- 530
-
A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and PolytechnicsFurber, D. et al. | 1992
- 530
-
A Survey of the Teaching of Programming to Computing Undergraduates in U.K. Universities and PolytechnicsFurber, David et al. | 1992
- 533
-
A Short Note on Doubly-Linked List Reorganizing HeuristicsNg, D. T. H. / Oommen, B. J. et al. | 1992
- 535
-
Indexing for Multi-Attribute RetrievalJamison, B. / Olariu, S. et al. | 1992
- 538
-
Additional Papers| 1992
- 539
-
Book ReviewDyckhoff, Roy et al. | 1992
- A425
-
Implementation of parameterised views in relational query languages with a macro processorDandeker, K.N. et al. | 1992
- A429
-
Evaluation of the execution cost of recursive definitionsPaschos, V.T. / Stafylopatis, A.N. et al. | 1992
- A439
-
Interfacing Eiffel and PCTENeelamkavil, F. / O'Shea, S. et al. | 1992
- A445
-
Constructing natural language sentences from database tuplesYannakoudakis, E.J. / Attar-Bashi, H.A. et al. | 1992