Prentice-Hall International series in computer science

• Material Type: 図書
• Title: Prentice-Hall International series in computer science
• Publication, Distribution, etc.: Prentice-Hall International
• Alternative Title: Prentice Hall International series in computer science
• Place of Publication (Country Code): us
• Target Audience: 一般
• Related Material: Introduction to Pascal; https://cir.nii.ac.jp/crid/1130000793776617344; OCCAM 2 reference manual; https://cir.nii.ac.jp/crid/1130000793861053824; Computational category theory; https://cir.nii.ac.jp/crid/1130000793934416640; Syntax of programming languages : theory and practice; https://cir.nii.ac.jp/crid/1130000794351640704; Distributed systems analysis with CCS; https://cir.nii.ac.jp/crid/1130000794369647872; Implementing functional languages; https://cir.nii.ac.jp/crid/1130000794451005440; Introduction to functional programming; https://cir.nii.ac.jp/crid/1130000794837535616; Principles of programming languages; https://cir.nii.ac.jp/crid/1130000794857281536; Mechanized reasoning and hardware design; https://cir.nii.ac.jp/crid/1130000794939121024; Programming from first principles; https://cir.nii.ac.jp/crid/1130000795143361920; Principles of concurrent and distributed programming; https://cir.nii.ac.jp/crid/1130000795220607104; Database technology : a software engineering approach; https://cir.nii.ac.jp/crid/1130000795252558720; Compiler construction : a recursive descent model; https://cir.nii.ac.jp/crid/1130000795376070528; Formal specification and software development; https://cir.nii.ac.jp/crid/1130000795413676032; Specification case studies; https://cir.nii.ac.jp/crid/1130000795450008832; Principles of protocol design; https://cir.nii.ac.jp/crid/1130000795469480192; Parallel numerical algorithms; https://cir.nii.ac.jp/crid/1130000795509221632; Micro-PROLOG : programming in logic; https://cir.nii.ac.jp/crid/1130000795716837504; A model implementation of standard Pascal; https://cir.nii.ac.jp/crid/1130000795755354112; Verifiable programming; https://cir.nii.ac.jp/crid/1130000796030399488; Scientific applications of multiprocessors; https://cir.nii.ac.jp/crid/1130000796191416320; Computer science : a modern introduction; https://cir.nii.ac.jp/crid/1130000796526690560; Logic and objects; https://cir.nii.ac.jp/crid/1130000796549723776; Mathematical logic for computer science; https://cir.nii.ac.jp/crid/1130000796576610560; UCSD Pascal for the IBM PC; https://cir.nii.ac.jp/crid/1130000796608315520; Mathematics for computer science; https://cir.nii.ac.jp/crid/1130000796614098048; Introduction to Modula-2; https://cir.nii.ac.jp/crid/1130000796624934016; Pascal for the Apple; https://cir.nii.ac.jp/crid/1130000796806897920; Structured system programming; https://cir.nii.ac.jp/crid/1130000796875005056; Computation as logic; https://cir.nii.ac.jp/crid/1130000796930086528; An introduction to logic programming through Prolog; https://cir.nii.ac.jp/crid/1130000797153161216; An introduction to program fault tolerance : a structured programming approach; https://cir.nii.ac.jp/crid/1130000797203954688; Programming : the derivation of algorithms; https://cir.nii.ac.jp/crid/1130000797284790912; Programming from specifications; https://cir.nii.ac.jp/crid/1130000797339539200; Data types and data structures; https://cir.nii.ac.jp/crid/1130000797515261440; Functional programming : application and implementation; https://cir.nii.ac.jp/crid/1130000797556967552; Sequential program structures; https://cir.nii.ac.jp/crid/1130000797586095616; Learning to program; https://cir.nii.ac.jp/crid/1130000797832560640; Programming language concepts and paradigms; https://cir.nii.ac.jp/crid/1130000798082436736; Concurrent program structures; https://cir.nii.ac.jp/crid/1130000798150008960; Semantics of programming languages; https://cir.nii.ac.jp/crid/1130000798226118656; https://cir.nii.ac.jp/crid/1130000798288390272; Productive Prolog programming; https://cir.nii.ac.jp/crid/1130000798358453376; Functional programming using standard ML; https://cir.nii.ac.jp/crid/1130282268893407488; OCCAM programming manual; https://cir.nii.ac.jp/crid/1130282268900999168; A Classical mind : essays in honour of C.A.R. Hoare; https://cir.nii.ac.jp/crid/1130282268957064704; Object-oriented databases : a semantic data model approach; https://cir.nii.ac.jp/crid/1130282268994379008; The implementation of functional programming languages; https://cir.nii.ac.jp/crid/1130282268999857920; System development; https://cir.nii.ac.jp/crid/1130282269237608192; An introduction to formal specification and Z; https://cir.nii.ac.jp/crid/1130282269276427776; Introduction to the theory of complexity; https://cir.nii.ac.jp/crid/1130282269290491648; Communication and concurrency; https://cir.nii.ac.jp/crid/1130282269334763776; Computer arithmetic systems : algorithms, architecture and implementation; https://cir.nii.ac.jp/crid/1130282269410660352; High-level programmer's guide to the 68000; https://cir.nii.ac.jp/crid/1130282269455026944; Computer science : a mathematical introduction; https://cir.nii.ac.jp/crid/1130282269473865856; Introduction to programming in Prolog; https://cir.nii.ac.jp/crid/1130282269556517632; Foundations of semantic databases; https://cir.nii.ac.jp/crid/1130282269557406976; Ada : language and methodology; https://cir.nii.ac.jp/crid/1130282269629369600; Mathematical logic and programming languages; https://cir.nii.ac.jp/crid/1130282269779508992; Case studies in systematic software development; https://cir.nii.ac.jp/crid/1130282269961482240; Finite transition systems : semantics of communicating systems; https://cir.nii.ac.jp/crid/1130282270017074048; Reasoned programming; https://cir.nii.ac.jp/crid/1130282270042052992; Real-time systems : specification, verification, and analysis; https://cir.nii.ac.jp/crid/1130282270047213056; Construction of data processing software; https://cir.nii.ac.jp/crid/1130282270162376192; Applications of formal methods; https://cir.nii.ac.jp/crid/1130282270345879808; Cornerstones of undecidability; https://cir.nii.ac.jp/crid/1130282270396494720; The Z notation : a reference manual; https://cir.nii.ac.jp/crid/1130282270424111616; Programming in occam; https://cir.nii.ac.jp/crid/1130282270442658560; https://cir.nii.ac.jp/crid/1130282270457825536; Essays in computing science; https://cir.nii.ac.jp/crid/1130282270472943488; https://cir.nii.ac.jp/crid/1130282270537804928; Introduction to the theory of programming languages; https://cir.nii.ac.jp/crid/1130282270895807360; Programming language theory and its implementation : applicative and imperative paradigms; https://cir.nii.ac.jp/crid/1130282271119494912; Partial evaluation and automatic program generation; https://cir.nii.ac.jp/crid/1130282271152516480; Programming in occam 2; https://cir.nii.ac.jp/crid/1130282271209755264; Mathematical theory of program correctness; https://cir.nii.ac.jp/crid/1130282271213643392; Using Z : specification, refinement, and proof; https://cir.nii.ac.jp/crid/1130282271221516800; Distributed systems and computer networks; https://cir.nii.ac.jp/crid/1130282271236297344; https://cir.nii.ac.jp/crid/1130282271301111808; Software engineering and modula-2; https://cir.nii.ac.jp/crid/1130282271430925440; How to solve it by computer; https://cir.nii.ac.jp/crid/1130282271531635072; The logic of programming; https://cir.nii.ac.jp/crid/1130282271535508864; Microprocessor programming and software development; https://cir.nii.ac.jp/crid/1130282271579394944; From logic programming to Prolog; https://cir.nii.ac.jp/crid/1130282271581631360; Programming language processors : compilers and interpreters; https://cir.nii.ac.jp/crid/1130282271613866624; https://cir.nii.ac.jp/crid/1130282271709045248; The craft of programming; https://cir.nii.ac.jp/crid/1130282271745465600; Algebra of programming; https://cir.nii.ac.jp/crid/1130282271986654208; Logic and its applications; https://cir.nii.ac.jp/crid/1130282272027419648; Abstract data types and Modula-2 : a worked example of design using data abstraction; https://cir.nii.ac.jp/crid/1130282272043049344; Computer and communication systems performance modelling; https://cir.nii.ac.jp/crid/1130282272108113920; Object-oriented databases; https://cir.nii.ac.jp/crid/1130282272168976512; A multiprocessor operating system; https://cir.nii.ac.jp/crid/1130282272243712256; Programming language syntax and semantics; https://cir.nii.ac.jp/crid/1130282272467228544; Object-oriented software construction; https://cir.nii.ac.jp/crid/1130282272568880512; Systematic software development using VDM; https://cir.nii.ac.jp/crid/1130282272667119360; Software development : a rigorous approach; https://cir.nii.ac.jp/crid/1130282272837953536; Semantics of sequential and parallel programs; https://cir.nii.ac.jp/crid/1130282272965781376; Category theory for computing science; https://cir.nii.ac.jp/crid/1130282272985764480; Program construction and verification; https://cir.nii.ac.jp/crid/1130282273112800128; Introduction to formal specification and Z; https://cir.nii.ac.jp/crid/1130282273196348416; Communicating sequential processes; https://cir.nii.ac.jp/crid/1130282273235470080; https://cir.nii.ac.jp/crid/1130282273319045120; https://cir.nii.ac.jp/crid/1130282273375207424
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA00010507#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BA00010507 : BA00010507

Table of Contents

Introduction to Pascal

OCCAM 2 reference manual

Computational category theory

Syntax of programming languages : theory and practice

Distributed systems analysis with CCS