Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Michael Leuschel

Kirjasarja: Lecture Notes in Computer Science, osa 2664

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Logic Based Program Synthesis and Transformation" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.

Siirry tuotehakuun

Samankaltaiset tuotteet

Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.

Tiedot

Kustantaja/julkaisija

Springer Berlin Heidelberg

Sidosasu

ISBN

3540450130

9783540450139

Kieli

englanti

Alkuperäinen nimi

-

Kaikki tekijät

Michael Leuschel

Kirjasarja

Lecture Notes in Computer Science, osa 2664

Tuotekategoriat

-

Aiheet

Computer science.

Science.

Computer programming.

Computer logic.

Mathematical logic.

Computer Science.

Logics and Meanings of Programs.

Science, general.

Programming Techniques.

Mathematical Logic and Formal Languages.