Algorithimic Languages and Calculi 1
bokomslag Algorithimic Languages and Calculi
Data & IT

Algorithimic Languages and Calculi

Richard Bird • Lambert Meerkens

Inbunden

2989:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 443 sidor
  • 1997
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
  • Författare: Richard Bird, Lambert Meerkens
  • Illustratör: 443 p VIII
  • Format: Inbunden
  • ISBN: 9780412820502
  • Språk: Engelska
  • Antal sidor: 443
  • Utgivningsdatum: 1997-07-01
  • Förlag: Chapman and Hall

Du kanske gillar

  1. bokomslag The Art of Swordsmanship by Hans Leckchner

    The Art of Swordsmanship by Hans Leck...

    Inbunden

    2019:-
  2. bokomslag Roxburgh's Common Skin Diseases

    Roxburgh's Common Skin Diseases

    Aye Serap Karadag, Lawrence Charles Parish, Jordan V Wang

    Inbunden

    3559:-
  3. bokomslag Japanese Woodcut

    Japanese Woodcut

    Carol Wilhide Justin

    Inbunden

    489:-
  4. bokomslag Quantitative Portfolio Optimisation, Asset Allocation and Risk Management

    Quantitative Portfolio Optimisation, ...

    M Rasmussen

    Pocket

    4329:-
  5. bokomslag Geo-Informatics in Resource Management and Sustainable Ecosystem

    Geo-Informatics in Resource Managemen...

    Yichun Xie Fuling Bian

    Pocket

    1509:-
  6. bokomslag SAP S/4HANA Conversion

    SAP S/4HANA Conversion

    Ravi Surya Subrahmanyam

    Pocket

    619:-
  7. bokomslag Handbook of Porous Media

    Handbook of Porous Media

    Kambiz Vafai

    Inbunden

    4839:-
  8. bokomslag African Biodiversity

    African Biodiversity

    Bernhard A Huber, Bradley J Sinclair, Karl-Heinz Lampe

    Inbunden

    3079:-
  9. bokomslag Making Vintage 1930s Clothes for Women

    Making Vintage 1930s Clothes for Women

    Claire Reed Ciara Phipps

    Pocket

    489:-
  10. bokomslag New Trends in Urban Drainage Modelling

    New Trends in Urban Drainage Modelling

    Giorgio Mannina

    Inbunden

    5049:-

Andra av samma författare

  1. bokomslag Introduction Functional Programming

    Introduction Functional Programming

    Richard Bird

    Pocket

    1319:-
  2. bokomslag Human Resource Management in Education

    Human Resource Management in Education

    Justine Mercer, Bernard Barker, Richard Bird

    Pocket

    719:-
  3. bokomslag Human Resource Management in Education

    Human Resource Management in Education

    Justine Mercer, Bernard Barker, Richard Bird

    Inbunden

    2589:-
  4. bokomslag Pearls of Functional Algorithm Design

    Pearls of Functional Algorithm Design

    Richard Bird

    Inbunden

    1399:-
  5. bokomslag The VAT in Developing and Transitional Countries

    The VAT in Developing and Transitiona...

    Richard Bird

    Inbunden

    1709:-
  6. bokomslag Planting with Perennials

    Planting with Perennials

    Richard Bird

    Inbunden

    99:-
  7. bokomslag Growing Vegetables, Herbs & Fruit

    Growing Vegetables, Herbs & Fruit

    Jessica Houdret Richard Bird

    Inbunden

    259:-
  8. bokomslag Growing Shoots, Peas and Beans

    Growing Shoots, Peas and Beans

    Richard Bird

    Inbunden

    89:-
  9. bokomslag Growing Root Vegetables

    Growing Root Vegetables

    Christine Ingram Richard Bird

    Inbunden

    89:-
  10. bokomslag Growing Berries and Currants

    Growing Berries and Currants

    Kate Whiteman Richard Bird

    Inbunden

    89:-