KIRJAUDU

ostoskori

avaa valikko

Byron Cook | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 29 tuotetta
Haluatko tarkentaa hakukriteerejä?

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION - 8TH INTERNATIONAL CONFERENCE, VMCAI 2007, NICE, FRANCE, JANUARY 14-1

Byron Cook; Andreas Podelski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AN

John Byron; James Cook; Joseph Banks
Nabu Press (2010)
Pehmeäkantinen kirja

86,20 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AND

John Byron; Cook; John Hawkesworth
Scholar's Choice (2015)
Pehmeäkantinen kirja

74,20 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
ANDESITE PR (2015)
Kovakantinen kirja

86,90 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
ANDESITE PR (2015)
Kovakantinen kirja

88,20 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; Joseph Banks
ARKOSE PR (2015)
Kovakantinen kirja

96,40 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
CHIZINE PUBN (2017)
Pehmeäkantinen kirja

59,40 €

RELATION DES VOYAGES ENTREPRIS PAR ORDRE DE SA MAJESTÉ BRITANNIQUE ...: POUR FAIRE DES DÉCOUVERTES DANS L'HÉMISPHERE MÉRIDIONAL,

John Byron; James Cook; Joseph Banks
WENTWORTH PR (2018)
Kovakantinen kirja

98,40 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
FRANKLIN CLASSICS (2018)
Pehmeäkantinen kirja

59,00 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AND

John Byron; Cook; John Hawkesworth
Franklin Classics (2018)
Kovakantinen kirja

76,10 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AN

John Byron; Cook; John Hawkesworth
Franklin Classics (2018)
Kovakantinen kirja

81,20 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AN

John Byron; Cook; John Hawkesworth
Franklin Classics (2018)
Pehmeäkantinen kirja

66,10 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
FRANKLIN CLASSICS TRADE PR (2018)
Pehmeäkantinen kirja

72,90 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY, FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AN

John Byron; Cook; John Hawkesworth
Franklin Classics Trade Press (2018)
Kovakantinen kirja

90,40 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE: AND

John Byron; James Cook; John Hawkesworth
FRANKLIN CLASSICS TRADE PR (2018)
Pehmeäkantinen kirja

68,30 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE - AND

John Byron; Cook; John Hawkesworth
Franklin Classics Trade Press (2018)
Kovakantinen kirja

88,50 €

RELATION DES VOYAGES ENTREPRIS PAR ORDRE DE SA MAJESTÉ BRITANNIQUE ...: POUR FAIRE DES DÉCOUVERTES DANS L'HÉMISPHERE MÉRIDIONAL,

John Byron; James Cook; Joseph Banks
Creative Media Partners, LLC (2018)
Pehmeäkantinen kirja

44,40 €

RELATION DES VOYAGES ENTREPRIS PAR ORDRE DE SA MAJESTÉ BRITANNIQUE ...: POUR FAIRE DES DÉCOUVERTES DANS L'HÉMISPHERE MÉRIDIONAL,

John Byron; James Cook; Joseph Banks
WENTWORTH PR (2018)
Pehmeäkantinen kirja

69,80 €

RELATION DES VOYAGES ENTREPRIS PAR ORDRE DE SA MAJESTÉ BRITANNIQUE ...: POUR FAIRE DES DÉCOUVERTES DANS L'HÉMISPHERE MÉRIDIONAL,

John Byron; James Cook; Joseph Banks
WENTWORTH PR (2018)
Kovakantinen kirja

92,10 €

AN ACCOUNT OF THE VOYAGES UNDERTAKEN BY THE ORDER OF HIS PRESENT MAJESTY FOR MAKING DISCOVERIES IN THE SOUTHERN HEMISPHERE

John Byron; Cook; John Hawkesworth
Creative Media Partners, LLC (2022)
Kovakantinen kirja

52,00 €

Hae lisää...

Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-1

Byron Cook, Andreas Podelski

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 395 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 03.01.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus