Book Ordering & Bindery: (800) 875-9911
Contact Us 

  



  

    

      

        

          

            Book Cover          

        

        

          

            
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday


            

              
Contributor(s):
                Ter Beek, Maurice H (Editor), Gnesi, Stefania (Editor), Haxthausen, Anne E (Editor), Semini, Laura (Editor)              



                              
ISBN:
                  9783032124838                

                              
                              
Publisher: Springer

            

          




          






            


              
Binding Types:


              
              



                              



                  

                    

                      
                      
                    

                    
$109.99

                  


                  

                    

                      
                      
                    

                    

                      $122.94                      (Final Price)
                    

                  

 
                  

                    

                      
                      
                    

                    

                      $121.74                      (100+ copies: $120.99)
                    

                  




                

              








            


          


          


            

              

                                  List/retail price:
                


              
              

                                $109.99
              

            



            

              

                -
                
                +
              

              
              
              
              
              
                              
                                            
                                            
                                            
                              
               
                
               
               
               
               
                
            
              
  
              Buy
            

              
              









          

          

                          
Pub Date: February 6, 2026

            



            
                                                              
Lexile Code:
                  
                  
                  
                  
                
                    0000  
                
              

            

                          
Features:
                Illustrated              

            
                                                      
Target Age Group:
                NA to
                NA              

                                                                                                            
Physical Info:
                0.77" H x
                9.21" L x
                6.14" W (
                1.15 lbs)
                354 pages
              

                          
            
              
                            
Series:
                  
                  
                      Lecture Notes in Computer Science                  
                  
                
              

                          
    
              
              
              
              
              
              
              
              
              
                        

        

      


            


      

        
Descriptions, Reviews, etc.

        

          
                            


      

      
          
      
                  
          
          
          
          
          
          
    

  



		

			
				
					
				
			
			
				
			
		

			
	















Product successfully added to cart!