Fred KrögereBook, PDFTemporal Logic of Programs (eBook, PDF) Versandkostenfrei!Sofort per Download lieferbar40,95 €inkl. MwSt. Jetzt bewerteneBook bestellen eBook verschenken Alle Infos zum eBook verschenken PAYBACK Punkte 20 °P sammeln! BewertungTechnische DetailsProduktdetails Geräte: PCohne KopierschutzeBook HilfeGröße: 10.79MB ProduktbeschreibungVerlag: Springer Berlin HeidelbergSeitenzahl: 148Erscheinungstermin: 6. Dezember 2012 EnglischISBN-13: 9783642715495Artikelnr.: 53171280 Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst! Eine Bewertung schreiben Andere Kunden interessierten sich für Types for Proofs and Programs (eBook, PDF) eBook 40,95 € Bruno Berstel-Da … Verification of Business Rules Programs … eBook 40,95 € Rewriting, Computation and Proof … eBook 40,95 € Computer Science Logic (eBook, PDF) eBook 40,95 € Logic for Programming, Artificial … eBook 73,95 € Logic and Its Applications (eBook, PDF) eBook 38,95 € New Computational Paradigms (eBook, PDF) eBook 73,95 € Tobias Nipkow, … Isabelle/HOL (eBook, PDF) eBook 44,95 € Spatial and Temporal Databases (eBook, … eBook 40,95 € Computational Logic (eBook, PDF) eBook 113,95 €
