Tahar sofiene (70 Ergebnisse)
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes . Computer Science and General Issues)
Ait Mohamed, Otmane [Editor]; Munoz, César [Editor]; Tahar, Sofiène [Editor];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 18,06
EUR 6,26 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 28,02
EUR 7,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. pp. 338 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,29
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Anbieter: Books Puddle, Woodside, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 32,89
EUR 3,58 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 338.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,78
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 28,10
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. pp. 338.
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Barkaoui, Kamel (EDT); Boucheneb, Hanifa (EDT); Mili, Ali (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,26
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,76
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 61,36
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Barkaoui, Kamel (EDT); Boucheneb, Hanifa (EDT); Mili, Ali (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 62,37
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 64,34
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
- Erstausgabe
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,03
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: new. Paperback. This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 2124, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,06
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,10
EUR 18,34 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Barkaoui, Kamel (EDT); Boucheneb, Hanifa (EDT); Mili, Ali (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,11
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,22
EUR 11,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,31
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,31
EUR 2,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,72
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,98
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,22
EUR 13,36 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 81,31
EUR 2,37 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,99
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,51
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,19
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,20
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Barkaoui, Kamel (EDT); Boucheneb, Hanifa (EDT); Mili, Ali (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 68,20
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings
Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 68,20
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 72,36
EUR 17,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Proceedings
Barkaoui, Kamel (Editor)/ Boucheneb, Hanifa (Editor)/ Mili, Ali (Editor)/ Tahar, Sofiene (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,50
EUR 11,84 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.51 inches. In Stock.
